HOWTO RUN LEON ONLINE
*********************

$ cd path/to/leon-2.0
$ sbt package script
$ cd web
$ source ../setupenv


!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! Make sure SCALA_HOME is SET! !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

** On laraserver **

    $ export LD_LIBRARY_PATH=/localhome/leonweb/git/z3/build/
    $ play "run -Dapp.prefix=/leon"

** Locally **

    $ play run