Package zarith.1.2

Update zarith to version 1.2, to fix issue #657.