Delete unused Ace themes
Server-side API for history view
Use Gulp and Browserify for JS
History UI and more browserification and reactification
Update app.yaml skip_files