pcr basic changes
Merge branch 'refs/heads/master' into pcr

Conflicts:
	source/orphaned-proofs.prf
	source/pvsbin/PermanentData.bin
	source/pvsbin/StateMonad.bin
	source/pvsbin/key.bin
	source/pvsbin/memory.bin
	source/pvsbin/pcr.bin
	source/pvsbin/returnCodes.bin
	source/tpm.pvs
added keygencnt invariant,

formatting changes for nfm paper too
re-proved all
Merge branch 'master' of gitsldg.ittc.ku.edu:/verified-tpm/verified-tpm12

Conflicts:
	source/pvsbin/PermanentData.bin
	source/pvsbin/StateMonad.bin
	source/pvsbin/key.bin
	source/pvsbin/memory.bin
	source/pvsbin/pcr.bin
	source/pvsbin/returnCodes.bin
	source/pvsbin/startupData.bin
Merge branch 'master' into pcr

Conflicts:
	source/orphaned-proofs.prf
	source/pvsbin/PermanentData.bin
	source/pvsbin/StateMonad.bin
	source/pvsbin/key.bin
	source/pvsbin/memory.bin
	source/pvsbin/pcr.bin
	source/pvsbin/returnCodes.bin
	source/tpm.pvs
stAnyFlags and unseal working with new pcrs
add tpmPCRInfoLong

well, really moved it from pcr.pvs to tpmData
updated makeIdentity, quote, etc.
re-proved
Merge branch 'master' of gitsldg.ittc.ku.edu:verified-tpm/verified-tpm12 into github-verified-tpm12
Merge branch 'verified-tpm12' of github.com:palexand/verified-tpm12 into github-verified-tpm12