arduino_compressed file now is generated using the build.py script
Merge branch 'master' of https://github.com/bq/blockly