Merge branch 'master' of https://github.com/mbedmicro/mbed
[NUCLEO_F4x1RE] test MBED_A7 InterruptIn failed

The test failed because it was not possible to switch off an already
active edge detection.
The reason was the GPIO HAL module driver function HAL_GPIO_Init. The
function changes only interrupt or event flags when the EXTI_MODE flag
in GPIO_Init->Mode is set. gpio_irq_set changed the event mode to
EDGE_NONE in gpio_irq_t structure but that doesn't changed the interrupt
and event flags in the CMSIS function because of the missing EXTI_MODE.
Now gpio_irq_set is able to switch off a specific or both edge
detections.
The MBED_A7 test was extended by another test to check if switch off
edge detection is OK.
[NUCLEO_F302R8] Migration to STM32Cube driver.

Actual code is based on the Standard Peripherals Library.
[DISCO_F407VG] test MBED_A7 InterruptIn failed

- solution similar to [NUCLEO_F4x1RE]
- digital_loop tests "DigitalIn DigitalOut", "DigitalInOut" and
"InterruptIn" are OK
[NUCLEO_F302R8] Remove stdlib folders

Not used, was there as backup.
[NUCLEO_F302R8] Fix bug with MBED_A7 test (irq edges disabled)
Merge branch 'master' of https://github.com/mbedmicro/mbed
Merge branch 'master' of https://github.com/mbedmicro/mbed
[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
[mbed][KPSDK][K22F][K64F] sw_timer.c seems to be left over from the last version of KSDKand isn't part of the v1.0.0 release. fsl_interrupt_manager.c relies on using KSDK specific startup code and linker scripts which we dont use.
[mbed][exporters][k22f][gcc] Added exporters for uvision, gcc_arm, kds. Known issues are: uvision5 as K22F doesnt seem to be supported with uvision4. gcc_arm and kds - build but blinky led color doesnt behave correctly. Haven't debugged much. python project.py -m K22F -p 25 -i kds [uvision] [gcc_arm] to pick back up.
Merge pull request #500 from sg-/master

K22F - Templates for uvision, gcc, kds, KSDK - removal of sw timer and interrupt manager
[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.
[NUCLEO_F302R8] Fix issue with MBED_A7 test

Add new STM_MODE_IT_EVT_RESET GPIO mode.
Merge pull request #495 from ohagendorf/develop

[NUCLEO_F4x1RE] test MBED_A7 InterruptIn - new test case - both interrupts disabled
Merge branch 'master' of https://github.com/mbedmicro/mbed
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)