K64F - addition to build release script
NMI handler is now in mbed_overrides.c
Rename KSDK to KPSDK. Required for live compiles.
Added K64F to tests
Update AnalogOut pinname in the test
add vector checksum for lpc11u24 and lpc1114
add I2C pins name to Arch and Arch Pro
K64F - port HAL corrections
K64F - pwm clock set store
Added "supported_form_factors" list attr to targets which  defines TARGET_FF_* symbols for the supported form factors.
Unified some tests for targets that support Arduino form factor to use Arduino style pin names.
Added STM32 Dicscovery to README.md
[DISCO_F407VG]: Change default FPU option to "softfp" from "hard".

This commit changes the defalt compile option in relation to FPU from "hard" to "softfp" in
Makefile template, because it would be better to maintain the consistency with "build.py" and "make.py"
that have the default option, "softfp".
If the "hard" option is needed, execute "make HARDFP=1" on command line.
K64F - ADC mbed HAL - channels definition correction

	- only b channels are available
	- SC1A triggers the measurement
	- ADC1 channels corrections in the pinmap (PTCx), PTD6
[STM32F3XX] Initial port

This is the initial port of the mbed SDK to STM32F3XX (Tested with STM32F3Discovery and hello world test.)

This port is based on the NUCLEO_F302R8 target.
Only the GCC_ARM toolchain has been tested.
[NUCLEO_F030R8] Change PWM_OUT label

PB_3 does not support pwm out.
[K64F] Fix PWM implementation

Also change the pin for the PWM LED test.
[K64F] Ensure immediate update of CnV register in FTM

Also changed pin assignment for the PWM test.
Fix K64F compiler name in build_release.py
Fix synchronization script
Added test automation report / summary to command line. Option: -r