update readme

README.md

+#Releases
+
+[Sally + DeepaMehta release for Linux 64bit](kwarc.info/sites/default/files/SallyDeepaMehta.tar.gz) 
+
+Sally two requirements:
+ * [LibreOffice Development Kit](http://api.libreoffice.org/docs/install.html)
+ * [Java 7](http://www.oracle.com/technetwork/java/javase/downloads/index.html)
+
+You can install them in Ubuntu by issuing:
+
+```sh
+apt-get install libreoffice-dev openjdk-7-jre
+```
+
 Installation instructions:
 
+First you need to set the environment SALLYENVID variable to some randomly generated unique id (UUID). You can do that by
+```sh
+echo export SALLYENVID=$(uuidgen) >>~/.profile
+```
+
+Download the release you are interested in and issue
 ```sh
-wget kwarc.info/sites/default/files/SallyDeepaMehta.tar.gz
 tar xfz SallyDeepaMehta.tar.gz
+cd SallyDeepaMehta
 ```