Fix update_user_info script, see #2025.
Make script name consistent with others.
Update also github.
Add __future__, decrease sleep time.
Try dealing with deleted accounts.
Wrap SQL.
Merge pull request #2031 from gittip/user-info

Add ability to update user_info of github users