More progress bringing sha up to date with new field_address stuff; Lemma call_memcpy is basically done; a few admits
Made PACKAGE executable
Fixed a whole bunch of file modes (made them nonexecutable)
Merge branch 'master' of github.com:PrincetonUniversity/VST
 gitignore file for doc directory