Readme for sbv-2.9

SBV: SMT Based Verification in Haskell ====================================== Please see: http://leventerkok.github.com/sbv/