Updated teensy to build.

Refactored some stmhal files which are shared with teensy.
Added hexfile target
Add timer_deinit and call it just before doing a soft-restart

This fixes #733.
Merge branch 'teensy-new' of github.com:dhylands/micropython into dhylands-teensy-new

Conflicts:
	stmhal/pin_named_pins.c
	stmhal/readline.c

Renamed HAL_H to MICROPY_HAL_H.  Made stmhal/mphal.h which intends to
define the generic Micro Python HAL, which in stmhal sits above the ST
HAL.
Merge branch 'dhylands-teensy-new'
Merge pull request #709 from windelbouwman/master

Added hexfile target
Merge branch 'add-timer-deinit' of github.com:dhylands/micropython into dhylands-add-timer-deinit
stmhal: Some reordering of code/functions.
Merge branch 'dhylands-add-timer-deinit'
qemu: fix typo in readme
Merge pull request #739 from errordeveloper/patch-1

qemu: fix typo in readme
Rename machine_(u)int_t to mp_(u)int_t.

See discussion in issue #50.
lexer: Convert type (u)int to mp_(u)int_t.
parser: Convert (u)int to mp_(u)int_t.
py: Implement sys.maxsize, standard way to check platform "bitness".

Implementing it as a static constant is a bit peculiar and require cooperation
from long int implementation.
py: Automatically ake __new__ a staticmethod.

Addresses issue #622.
tests: Rename test scripts, changing - to _ for consistency.

From now on, all new tests must use underscore.

Addresses issue #727.
binary: Factor out mp_binary_set_int().
Disable IRQs around sdcard reads.

Once the code switches to using DMA, this can be removed.
stmhal: Protect SD_WriteBlocks by IRQ disable/enable pair.