Some scripts for fiddling with remote docker containers