A library of C code that is useful for development on SpiNNaker