Make machine-code/compiler/reg_allocLib compile for term not eqtype

Fix an error in reg_allocLib due to term not an eqtype

Remove trailing whitespace in source files.

Register allocator improved.

I've changed the way tail-recursive functions are defined.
They are now defined based on a step function:

step: 'a -> 'a + 'b

Tail-recursive functions loop until their step function
returns something in the right component (INR).