crackNum-1.0: INSTALL

The sbv library can be installed simply by issuing cabal install like this:

     cabal install IEEE754