RAM savings, memoryview, quick-ref and more.

Improvements to core:
- make better use of bytecode coding space
- about 10% RAM savings in bytecode
- add uheapq module
- add memoryview builtin
- add compile builtin
- support in VM for KeyboardInterrupt
- fix integer modulo with negative arguments
- small GC fixes
- add 2nd arg to readinto

New features in unix port:
- CTRL-C raises KeyboardInterrupt
- heapsize option takes K and M
- -m option to execute library module

stmhal improvements:
- make MMA_INT/PB2 pin available
- add pyb.hard_reset()
- cc3k recv improments
- all HAL errors now raise OSError with POSIX error code
- USB config improved for windows (CDC on Windows 10 without driver)
- use different USB PID when in CDC+HID mode (so HID works in Windows)
- boot.py and main.py use \r\n for newlines
- change SPI phase from 1,2 to 0,1 to match industry conventions
- allow DAC object to be init'd from pin
- improved raw REPL control codes
- improved pyboard.py script

docs:
- add quick reference page with pinout