[EXPORT] [NUCLEO_F4x1RE] and [DISCO_F407VG] export to CoIDE

- export project with export_test.py
- projects can be compiled, downloaded and debugged with CoIDE 1.7.7
- STM32F411xx is not yet supported directly by CoIDE
- STM32F401RE it not supported but STM32F401RB is (differences in flash
size)
- but the generated project files for the Nucleo boards contain correct
FLASH and RAM sizes and that seems to be enough
[HAL][KSDK] Use PIT timer for ticker/timeout

Previously in the KLXX devices the LPTMR was used for ticker/timeout,
since they only have 2 PIT channels which are required for regular
timer. The KSDK targets have 4 PIT channels, which allows for two 32-bit
timers running at 1 MHz.

Since PIT timers are 32-bit, and LPTMR 16-bit, this both simplifies it
and makes it more efficient. It does cost the remaining 2 PIT channels,
but on the other hand leaves the LPTMR free.
Small improvements to RTC test to check time elapsed and if timestamp is not zero
Added stdio receive time in host test prints
[NET, HAL] K64F - enet edit for new header files (address used instead of instance)

	- hal enet - asserts commented out as they are not valid for new MCU headers (address, no instance)
	- net - corrections for new ksdk API
Merge pull request #504 from 0xc0170/fix_enet_k64f_ksdk

[NET, HAL] K64F - update files to use address of enet peripheral (not instance as required by KSDK v1.0)
Merge pull request #499 from ohagendorf/develop_coide

[EXPORT] NUCLEO_F4x1RE, DISCO_F407VG -  export to CoIDE
Merge pull request #502 from Sissors/ksdk

[HAL] Freescale KSDK -  Use PIT timer for ticker/timeout
Merge pull request #496 from bcostm/master

[NUCLEO_F302R8] Migration to STM32Cube driver.
Minor updates for InterruptIn testcase
Added NUCLEO support for digital in/out tests

Slightly modified digital in/out tests
Merge branch 'master' of https://github.com/mbedmicro/mbed
Update NUCLEO target names in tests (re-order + add new)