Avoid storing user's GitHub password at all

The gen_auth.py script now handles input from STDIN and does not echo
the password.