Adapted micro python to compile to a lib for the stm32f4discovery
merge to upstream