remove unused extra_allocations param#1363

Christian-B wants to merge 3 commits into

masterSpiNNakerManchester/SpiNNFrontEndCommon:masterfrom

there_are_no_extra_allocationsSpiNNakerManchester/SpiNNFrontEndCommon:there_are_no_extra_allocationsCopy head branch name to clipboard