Revert sig. of i64_mul to that of original CompCert
Merge branch 'extraction'