Support ARMv8 registers

[Gadiguibou]

x0-x30, w0-w30, special registers

[Gadiguibou]

Assuming we choose to use the relative-to-last-occurrence scheme for encoding symbols (see #14), then this issue won't be needed anymore.