concrete syntax: add break to the language.
ivory-backend-c: fix Float primitive functions bug.
travis: wget from Galois-cached binary.
travis: let's do it right this time.
travis: and no typos.
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