Travis: always send me emails.
ivory-aadl: remove
use ghc-srcspan-plugin
readme: remove ivory-aadl.
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