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