Software for the SpiNNaker Million Core Neuromorphic Machine. Part of the Human Brain Project and EBRAINS