Allow update-projects.py to take --user= and --token= options, to support credentials on remote hosts
Add internal blacklist of repo names which will be ignored when updating all projects. Blacklist consists of book and share-extras.github.com for now.
Update all site pages (hourly update)