Update Arb

So that we get this fix in: https://github.com/fredrik-johansson/arb/pull/28
Merge pull request #502 from hashdist/arb_update

Update Arb