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.