Readme for quickspec-0.9

cabal install and look at the examples directory.