add Ivory.QuickCheck.Testable
WIP: generating random ivory values via AST instead of smart constructors
arrays seem to be working
and structs
clean up
remove old ivory-quickcheck
doc and version update
ivory-eval: simple concrete evaluator.

Idea is to use it in ghci for interactive testing of ivory code, and for
use in filtering ivory-quickcheck inputs that don't satisfy requires
more numerics
use ivory-eval to filter out inputs that don't satisfy requries
looks like just enough of ivory-eval done to use it in ivory-quickcheck
account for MemAreas in ivory-quickcheck
i think this is right...
some cleaning up
add some tests for ivory-eval
clean up
update makefile
fix Makefile.

cabal was spouting a BOGUS error message about ivory requiring text==1.2
which it **does not**. adding a hard constraint for text==1.1.1.3
revealed the true error..
add test
Merge pull request #18 from GaloisInc/ivory-quickcheck

Rewrite of ivory-quickcheck