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".