Updated documentation
Relaxed Cabal restriction and add -O2