Integrate server deploy with deployex

[schonfinkel]

• Manage server deployments with deployex
• This may also require packaging the tool on Nixpkgs and making a module out of it