Autocomplete

This MR adds an (bash-only) auto-complete feature for the command-line options.

Currently, this is only very basic and auto-completes only the options and subcommands. It may be extended to display more interesting stuff, I guess.