sbv-5.14: dependencies

Dependencies for sbv-5.14

library	array async base (>=4.8 && <4.11) base-compat (>=0.6) containers crackNum data-binary-ieee754 deepseq directory filepath ghc mtl old-time pretty process QuickCheck (>=2.9.2) random syb
SBVUnitTests	base (>=4.8 && <5) data-binary-ieee754 directory filepath HUnit process sbv syb