Merge pull request diffblue#343 from diffblue/sakai_preparation

Updated README.txt file w.r.t. installation of Sakai.

Author: marek-trtik

benchmarks/GENUINE/README.txt

@@ -291,10 +291,11 @@ Install guide for Ubuntu:
 2. Run these commands:
       cd sakai
       (optional) git checkout 8550c168cdf16363e864bfdfdbeae96a1e8eac51
-      mvn install sakai:deploy -Dmaven.tomcat.home="./__dist__" -DskipTests -Dmaven.test.skip=true
+      mvn install sakai:deploy -Dmaven.tomcat.home="<full-path-to-sakai>/__dist__" -DskipTests -Dmaven.test.skip=true
+   where <full-path-to-sakai> is the full path of the current working directory.
 
-The built binaries will be stored in:
-  __dist__
+The built binaries will be stored under:
+  <full-path-to-sakai>/__dist__
 
 Note: Instead of "__dist__" you can specify other directory where the built
       binaries will be stored to.