Host html5.js locally instead of from googlecode.com, remove unused main.js