ivory language: div, rem to Euclidean div, rem.
concrete syntax: remove warnings for GHC versions.
concrete syntax: parse lit strings w/out quotes.
add source locations to Ivory.Opts.TypeCheck
make plugin support GHC >= 7.2
more backwards compatibility
Merge branch 'master' into ivory-model-check