Crazyflie

We never merged these modifications (mostly adding ifdefs unix when emitting printf code) I think we did them when still using gnat2016, which did not include stdlib.h and stdio.h, causing some compilation issues. Gnat 2017 and 2018 don't have this problem, however the commits seem still valid