add word8 to/from int operations to the semantics and translator

Change the translator's representation of HOL word8s (from CakeML
integers to CakeML word8s). Translate i2w and w2n accordingly.

Type inferencer and compiler not updated.