Deployment more

Numerous changes, mostly without any externally observable effect. Getting things set up for future addition of new features.
"Command" feature implemented, e.g.
    ./push.sh -c ot6.config push-db blah.tgz taxomachine