A command-line interface for DeployGate