Updated gmp to 5.1.1
Added patch to workaround gas ARM whitespace bug.