Update cabal file for distribution

JCU.cabal

@@ -1,19 +1,21 @@
 Name:                JCU
 Version:             0.2
-Synopsis:            Very small  interpreter for a Prlog-like language
-Description:         This package was developed to demonstrate the ideas behind the Prolog language. It contains a very
-                     small interpreter (@Language.prolog.Nanoprolog@) which can be run on its own. It reads a file with definitions, and then prompts for a goal.
-                     All possibe solutions are printed, preceded by a tree showing which rules were applied in which order.
+Synopsis:            Online application for visualizing Prolog proof trees.
+Description:         This package was developed to demonstrate the ideas behind
+                     the Prolog language. It uses a very small interpreter
+                     (@Language.prolog.Nanoprolog@) which can be run on its
+                     own.
                      .
-                     The rest of the package contains an environment cnstructed for the Junior College at Utrecht University. It provides a simpel environment
-                     in which rules can be defined, and proofs can be constructed interactively. The software can be sinatlled on a server, 
-                     so students do not have to install anything on their own machines.
-                     .
-                     In the future we may decide to distribute the code over two separate packages.
+                     This package contains an environment constructed for the
+                     Junior College at Utrecht University. It provides a simpel
+                     environment in which rules can be defined, and proofs can
+                     be constructed interactively. The software can be
+                     installed on a server, so students do not have to install
+                     anything on their own machines.
 License:             BSD3
 license-file:        LICENSE
 Author:              Jurriën Stutterheim, Doaitse Swierstra
-Maintainer:          Jurriën Stutterheim
+Maintainer:          Jurriën Stutterheim <j.stutterheim@uu.nl>
 Stability:           Experimental
 Category:            Web
 Build-type:          Simple
@@ -76,10 +78,10 @@ Executable jcu
     ghc-options: -threaded -w
   else
     if impl(ghc >= 6.12.0)
-      ghc-options: -threaded -Wall -fwarn-tabs -funbox-strict-fields
+      ghc-options: -threaded -Wall -fwarn-tabs -funbox-strict-fields -O2
                    -fno-warn-orphans -fno-warn-unused-do-bind
     else
-      ghc-options: -threaded -Wall -fwarn-tabs -funbox-strict-fields
+      ghc-options: -threaded -Wall -fwarn-tabs -funbox-strict-fields -O2
                    -fno-warn-orphans
 
 Library