A TeamCity build monitor for the Raspberry Pi