Add ability to specify default Serial TX and RX pins in BOARD.py
tidy up PinOutputAtTime
Merge branch 'master' of github.com:espruino/Espruino