sbv-7.1: README.md

## SBV: SMT Based Verification in Haskell

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

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

| Linux: GHC 8.0.1  | Linux: GHC 8.0.2  | Linux: GHC 8.2.1  | Mac OSX: GHC 8.0.2|
|-------------------|-------------------|-------------------|-------------------|
| [![Build1][1]][5] | [![Build2][2]][5] | [![Build3][3]][5] | [![Build4][4]][5] |

[1]: https://travis-matrix-badges.herokuapp.com/repos/LeventErkok/sbv/branches/master/1
[2]: https://travis-matrix-badges.herokuapp.com/repos/LeventErkok/sbv/branches/master/2
[3]: https://travis-matrix-badges.herokuapp.com/repos/LeventErkok/sbv/branches/master/3
[4]: https://travis-matrix-badges.herokuapp.com/repos/LeventErkok/sbv/branches/master/4
[5]: https://travis-ci.org/LeventErkok/sbv