Updated to be consistent with SVP design
Added controller information

Added controller interaction with the manager; added sequence diagram for controller interaction.
Merge branch 'master' of gitsldg.ittc.ku.edu:verified-tpm/verified-tpm12 into github-verified-tpm12