Updated Getting Started page with instructions for using the new
klee-uclibc.
We don't use subversion anymore.
Updated documentation for the new llvm-lit testing infrastructure.