Remove -s shorthand, use --server instead

Fixes #315 . Command line typos like `-submit` were being interpreted by argparse as `-s ubmit` (the `server` flag). Now, the server can be specified only with `--server`.