A server intended for use on a Raspberry Pi to build and install programs on AVR chips