ARMinARM board

Hi Gordon,

Can I take you up on your offer of hosting the 'board.py' file and changes to the Makefile for using Espruino on the ARMinARM board? As discussed here: http://forum.espruino.com/conversations/1642/

It took a little longer than initially planned, because I wanted it to fit the Raspberry Pi model B+ (which came out about a week before the start of planned production).

The boards are going out to customers now (http://www.onandoffables.com), and I'd love it if they're able to use your latest and greatest release should they decide to run Espruino. I'll redirect the installation scripts to your repo.

Thanks in advance!