Saner treatment of a cancelled github authentication dialog
Expose get-username+password, for easy interactive testing/experimentation
New API, forget-github-token!.