Some deployment scripts for uberspace.de