Update .gitignore to ignore build/ directory.
Updates to gen_html to fix dependencies, get command-line working.