Update getting started page to recommend 2.7 instead of 2.6.

git-svn-id: http://llvm.org/svn/llvm-project/klee/trunk@109941 91177308-0d34-0410-b5e6-96231b3b80d8

www/GetStarted.html

@@ -33,7 +33,7 @@ <h2 id="build">Building KLEE</h2>
 <ol>
   <li>Install llvm-gcc:
     <ul>
-      <li>Download and install the LLVM 2.6 release of <tt>llvm-gcc</tt>
+      <li>Download and install the LLVM 2.7 release of <tt>llvm-gcc</tt>
         from <a href="http://llvm.org/releases/download.html">here</a>.  Add
         <tt>llvm-gcc</tt> to your <tt>PATH</tt>. It is important to do this first
         so that <tt>llvm-gcc</tt> is found in subsequent <tt>configure</tt>
@@ -42,14 +42,14 @@ <h2 id="build">Building KLEE</h2>
     </ul>
   </li>
 
-  <li><a href="http://llvm.org/releases/download.html#2.6">Download and build
-      LLVM 2.6</a> (you may also use SVN head, but klee may not always be
+  <li><a href="http://llvm.org/releases/download.html#2.7">Download and build
+      LLVM 2.7</a> (you may also use SVN head, but klee may not always be
       up-to-date with LLVM API changes).
 
     <div class="instr">
-      $ curl -O http://llvm.org/releases/2.6/llvm-2.6.tar.gz <br>
-      $ tar zxvf llvm-2.6.tar.gz <br>
-      $ cd llvm-2.6 <br>
+      $ curl -O http://llvm.org/releases/2.7/llvm-2.7.tgz <br>
+      $ tar zxvf llvm-2.7.tgz <br>
+      $ cd llvm-2.7 <br>
       $ ./configure --enable-optimized <br>
       $ make
     </div>