Smten now compiles and runs tests with GHC 7.8.

Notes:
* Uses later version of STP: c7dc4807e5df54bd9f8b6ba32e6df78057e6f251
  Because it now needs a shared library for STP.
* It's having some problems on the applications: shampi, nqueens, etc.
  So this is not ready for prime time yet.