Miscellaneous CI checks for code style, boards.txt update, and that all referenced packages are available.
Borrowed from https://github.com/esp8266/Arduino , include dtostrf() and others. Fixes #13