Add support for bitwise operations over ints to CakeML

[myreen]

Consider adding support for these SML operations to CakeML.

The CakeML semantics for these operations can probably be based on these definitions from HOL.

With these implemented in CakeML, one could add word operations to Candle's cv_compute.

See discussion on veriferium channel in Discord on 21 Oct 2024.