Setup.hs: unbreak 'runhaskell Setup configure' building mode

Otherwise default hook won't generate src/GitRev.hs file.

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Add an FNV-1a example (non-cryptographic hash).
Merge pull request #23 from trofi/master

Setup.hs: unbreak 'runhaskell Setup configure' building mode

Adds autoconf hooks by default; should have no effect for systems building with `make`
Add default-language to cabal file. Closes #71
Merge pull request #29 from TomMD/fnv1a-example

Add an FNV-1a example (non-cryptographic hash).
temporarly disable :exhaust to fix :e

Reopens #94; the book talks about using :e to edit files, and having :exhaust in the command trie breaks this. We need to figure out a better way to disambiguate (#90)
bump version for 2.1.0 alpha
Merge changes from latest version of SBV

(SBV revision 55a9405954b02c30bfa0f0f237b157a42a1af63b, Aug 28)
Make the symbolic simulator more lazy to avoid non-termination
Support offline SMT-Lib provers

Setting the prover to "offline" now triggers generation of an SMT-Lib file without invoking a prover on it. If the setting "smtfile" has its default value of "-", the script is printed to standard output. If it has any other value, the value taken as the name of the file to write to. If "smtfile" is set to anything other than "-" during a normal, online proof, the script is saved in the given file after the proof completes, rather than being saved in a temporary file that's subsequently deleted. This behavior can be useful for debugging.
Fix typos in comments