sbv-8.16: README.md

## SBV: SMT Based Verification in Haskell

On Hackage: http://hackage.haskell.org/package/sbv

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

### Build Status

 - Travis (Linux/Mac):
     - [![Build Status](https://travis-ci.com/LeventErkok/sbv.svg?branch=master)](https://travis-ci.com/LeventErkok/sbv)

 - Appveyor (Windows):
     - [![Build5][2]][1]

[1]: https://ci.appveyor.com/project/LeventErkok/sbv
[2]: https://ci.appveyor.com/api/projects/status/github/LeventErkok/sbv?svg=true