Implemented the updated levels of Karel 1, and changed to the miner skin.
Merge branch 'master' of https://github.com/code-dot-org/blockly