decided not to use autolaunch in a web server because buggy
Merge branch 'master' into gh-pages
added build.py
Merge branch 'master' into gh-pages