Python: A tiny script to get list of all repository of a GitHub user and generate HTML output with style.