ivory-model-check: can't assume memareas will have their initial value....
sigh, apparently KnownNat doesn't exist in ghc763
add Ivory.Opts.SanityCheck

checks for use of unbound or ill-typed functions/mem-areas.
fix sanity-check
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.
Travis: always send me emails.
ivory-aadl: remove
use ghc-srcspan-plugin
readme: remove ivory-aadl.
ivory-serialize: add inclHeader to package