Put goog.requires in HTML, so that symbols are loaded in the right order