some helper scripts to control dokku from shell (sans ssh)