Add SETcc instruction to x86-64 model.

Fix for x86 decompilation with regards to jumps.

The x64_triples function was failing to generate two theorems and PC_CONV wasn't working for if-then-else terms.

Also support parsing of x86 condition pseudonyms, e.g. "jnae" (jump when not above or equal) is the same as "jc".

Add support for x86-64 assembly code.

Based on NASM syntax, as opposed to AT&T (which is the default for gas).

The ARM-M0 model is now hooked up to the "core/fast" decompiler.

Updates and improvements to the l3-machine-code decompilation tools.

Update to ARM tools.

Triples are now generated with a "mode" variable. This is required to satisfy the "GoodMode" predicate. Before concrete modes were used, e.g. "16" for user mode.

In addition, various performance related enhancements have been made in helperLib (especially with regard to AC rewriting for the "*" operator).

Attempt to make term parsing in x64_decompLib more stable.

linking up the decompiler to L3 x64 model