Completely re-generate the Zynq 7000 demo using the 2016.1 SDK tools. Introduce configUSE_TASK_FPU_SUPPORT into the GCC Cortex-A9 port to allow tasks to have an FPU context by default. Add MikroC Cortex-M4F port.