Update for x86-64 model and tools.

- x64Theory now includes an instruction encoder.
- The functions in x64_stepLib have been renamed, e.g. x64_step is now x64_step_hex.