[documentation] Update the installation doc, to tell users to select …

…the PPDP19 branch.

benchmark/src/main/java/benchmark/bonsai/Problems.bonsai.java

@@ -171,6 +171,7 @@ public static void checkTime(long start) {
     }
   }
 
+  // To test the overhead of abstraction inside modules, we inlined all the processes in a single process.
   public proc inlined_golomb_iolb() =
     single_space StackLR stack = new StackLR();
     universe with stack in
@@ -299,6 +300,7 @@ private static IntVar rulerLengthVar(VarStore domains) {
     return (IntVar)domains.model().getVars()[m - 1];
   }
 
+  // To test the overhead of abstraction inside modules, we inlined all the processes in a single process.
   public proc inlined_nqueens() =
     single_space StackLR stack = new StackLR();
     universe with stack in

doc/src/PPDP19.md

@@ -2,7 +2,16 @@
 
 This supplementary material gives instructions to compile and run the examples and benchmarks presented in the paper submitted to PPDP19.
 
-If you want to replicate any benchmark and running examples, please go through the [Getting Started](getting-started.html) section first.
+If you want to replicate any benchmark and running examples, first install the compiler and runtime as follows:
+
+```
+git clone https://github.com/ptal/bonsai.git
+cd bonsai
+git checkout PPDP19
+python3 setup.py
+```
+
+For more explanations, please go to the [Getting Started](getting-started.html) section (but do not forget to switch to the `PPDP19` branch).
 
 ## Demo of the examples in the paper