Add twosComplementCast to Ivory.Language.
Added document generation scripts, cleaned up output a little
Added pdf for isabelle theories
Merge remote-tracking branch 'origin/master' into formal-model-areas

Conflicts:
	ivory-formal-model/Lib.thy