Espruino speed improvements - compiled JavaScript?

maybe it would have been a good idea to have released v72 right about here, before starting on flat strings...

maybe... :) At least 1v72 is going to be epic when it finally comes out. I think it'll be time for it soon.

How do we make build_docs.py run?

Which version of python are you using? Seems to work with the 2.7.3 which is the default here.