Update the SAWCore translation of `intDiv` and add a translation for `intAbs`
Update the SAWCore translation of `intDiv` and add a translation for `intAbs`

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script