[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
Minor updates for InterruptIn testcase
Added NUCLEO support for digital in/out tests

Slightly modified digital in/out tests