Create PVS.gitignore

The Prototype Verification System (PVS) http://pvs.csl.sri.com is an interactive theorem prover developed by the non-for-profit organization SRI International (http://www.sri.com). PVS is open source (under the GPL license) and it's widely used by many academic, government, and commercial organizations.