Update after hex enabled firmware release

Removed SystemInit write to FWID.
Added DEVICE_ERROR_PATTERN for error signaling.
Exception for NRF added to board.c to keep irqs enabled since timer irq
is needed for the wait function.
Button pin names changed from BUTTON0 to BUTTON1 and from BUTTON1 to
BUTTON2.
board.c conflict resolved
Added missing #endif
merge with mbedmicro
Conflicts resolved. gpio_init_in will call gpio_mode after gpio_dir
Fixed syntactic bug in board.c
STM32VL-Discovery initial port
Merge remote-tracking branch 'upstream/master'
Merge pull request #218 from dinau/stm32vld_initial

STM32VL-Discovery initial port
Merge branch 'master' of git://github.com/bcostm/mbed into bcostm-master

Conflicts:
	workspace_tools/targets.py
Merge pull request #219 from tkuyucu/master

Merge after reverting the python scripts to generating hex file with UICR
Updated library version
Added us Timer host test automation
Added us Timer proper host test automation
Merge branch 'master' of https://github.com/mbedmicro/mbed
Added MBED_12 test (C++) automation. target test code also updated.
Trailing spaces removed
Added Interrupt vector relocation test automation.
Added MBED_11 ticker host test automation (test uses the same host_test script to test ticker as wait_us test.
Merge pull request #221 from bcostm/master

[NUCLEO_F302R8] and [NUCLEO_L152RE] updates