Add Makefile to download ChibiOS.