Outstanding bits to improve

[justinclift]

Although the main pieces of dio now technically work, there are some areas which still need improvement:

• When dio is first downloaded and run, if no config file is found then it just errors out.
  • Instead, it should ask the user if a default one should be generated, and do so if the user wants one. Done. 18b9ea0

• Pushing of tags and releases to the cloud doesn't yet work 😦
  • Creating tags and releases locally works, but the code to push them remotely hasn't been written yet

• Detecting deleted branches, tags, etc doesn't yet work
  • At the moment when a branch is deleted on the remote server, with the next pull operation it'll be noticed as missing... but without any knowledge it's been deleted from the server. We'll likely need to add some state fields or something to the various structures.

• Username and email address are set in the config file
  • We should use the email address from the certificate file instead. Done. 8cb7169

• Having some way to select (and change) the default database being operated on, so it doesn't need to be specified on the command line every time
  • Done. Added a new select command, for selecting the default database. 45f0c9b