sbv-5.10: README.md

## SBV: SMT Based Verification in Haskell

[![Hackage version](http://img.shields.io/hackage/v/sbv.svg?label=Hackage)]
                   (http://hackage.haskell.org/package/sbv)
[![Build Status](http://img.shields.io/travis/LeventErkok/sbv.svg?label=Build)]
                (http://travis-ci.org/LeventErkok/sbv)

Please see: http://leventerkok.github.com/sbv/