Fix PVS build against SBCL 1.1.16 - 1.1.18+

Fix PVS build against newer versions of SBCL.  This patch comes from the Fedora
Project:
https://lists.fedoraproject.org/pipermail/scm-commits/Week-of-Mon-20140310/1204764.html
Merge pull request #35 from MJDSys/fix_sbcl

Fix PVS build against SBCL 1.1.16 - 1.1.18+
Add support for testing PVS against SBCL automatically using Travis CI.

Add initial support for running PVS against a few versions of sbcl using
Travis CI.  Currently tests 1.21, 1.1.18, and 1.0.58.  The current stable
versions for Mac OSX (1.1.8/1.1.6) have a bug that is fixed upstream in SBCL,
and are thus not tested.
Update the README file to point at travis, along with some more documentation.

Since travis now works, point at the build results.  Also put a short blurb
about PVS in the README file, along with a link to the homepage.
Merge pull request #36 from MJDSys/travis

Add Travis support to the PVS repository and update the README(.md) file
added sbumodule for ProofExplorer
indentation format for json schema and some description updates
Merge commit 'e1e1bd88dc03a776da4c5f7085b567742902e9f2'

* commit 'e1e1bd88dc03a776da4c5f7085b567742902e9f2':
  Update the README file to point at travis, along with some more documentation.
  Add support for testing PVS against SBCL automatically using Travis CI.
added pvsio-web submodule and readme in javascript folder to describe how to setup and run the submodules.
reverting pvs-gui.json
updated javascript/README.md to contain screenshots of tools.
Merge pull request #38 from thehogfather/master

Javascript tools submodules