Move some code from x64_targetScript to asmLib.

The ASM instruction JumpReg now gets passed the code_alignment value.

Lsr and Asr shifts by zero are now treated as not asm_ok (Lsl can be used instead). This change makes life easier for encoding to ARM.
don't wait for more input to send build success email
make the MAP in infer_d go through the translator
Merge remote-tracking branch 'origin/master' into fmap_refactor

Conflicts:
	inference/inferScript.sml
	inference/proofs/inferSoundScript.sml