An application deployment manager