Port to Docopt. Implement a few missing commands.