Merge pull request diffblue#215 from trtikm/PR_01

Updating the installation guide for Sakai

Author: marek-trtik

regression/december_demo_sprint/Sakai/APP/README.txt

@@ -20,10 +20,15 @@ Note: We use our own fork in which we made some small hacks to accomodate
 goto-analyzer. The Hacks are documented at ./HACKS.txt
 
 
-Installation on Ubuntu
+Installation on Ubuntu (December demo - deprecated)
 
 1. Open a terminal in the directory of this readme file and clone:
       git clone https://github.com/smowton/sakai
 2. Rename the created directory "sakai" to "Sakai"
-3. Run this command: python ./build.py
+2.5 (Optional step) Checkout the last non-modified commit:
+      cd ./Sakai
+      git checkout 6fb93de2c8ba16544243c891a5ead3c0484cc1cb
+      cd ..
+3. Run this command:
+      python ./build.py