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

$ cd path/to/leon-2.0
$ sbt package
$ cd web


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

** On laraserver **

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

** Locally **

    $ export LD_LIBRARY_PATH=../lib-bin/64/
    $ play run