sbv-5.7: dependencies

Dependencies for sbv-5.7

library	array async base (>=4.7 && <5) base-compat (>=0.6) containers crackNum data-binary-ieee754 deepseq (<1.4.2.0) directory filepath mtl old-time pretty process QuickCheck random syb
SBVUnitTests	if impl(ghc>=7.10.1) base (>=4.8 && <5) data-binary-ieee754 directory filepath HUnit process sbv syb else buildable: False