A tool to input Arduino platform configuration files and produce a GNU Makefile that can be include'd