Conversion of casts: adding a constructor and dumping for zext + test.
Merge branch 'master' of github.com:stichnot/subzero