Updating zarith package to version 1.2.
Merge pull request #730 from nhojem/master

Package zarith.1.2