Fix typo in Concurrency.Raw
Properly handle generation of sdist Git hashes

Now, the Git hash module is appropriately generated when running cabal sdist.
Fix source locations for generated version number
Merge pull request #762 from david-christiansen/show-git-in-version-2

Properly handle generation of sdist Git hashes
Merge branch 'master' of github.com:idris-lang/Idris-dev
Propagate assert_total to case blocks
Update reg006
Fix earlier %assert_total propagation
Fixes layout parsing of operators
Proj can be <0 for Nat/GMP optimisation!
Fix SimpleParser ambiguous type error
Induction now works on types with parameters
Add DragonFly to config.mk
Add more ifdefs for DragonFly
Induction works for all types with eliminators now (some eliminators
still need fixing) including those with indicies.
Improved the parsing of `-XExtension` flags.

The `Read LanguageExt` instance is now used to convert strings into
`LanguageExt`s, and passing -XNonexistentExtension results in an error
instead of attempting to load the file "-XNonexistentExtension".
Improve mid-do-block cases

By assuming that any missing type is () (which is probably what was
intended anyway). This works by filling any holes with () if they happen
to be patterns in generated case blocks.
Merge pull request #763 from ahmadsalim/feature/parserlayoutfixes

Fixes layout parsing of operators
Merge pull request #764 from puffnfresh/simpleparser-type-error

Fix SimpleParser ambiguous type error
Merge pull request #766 from markuspf/dragonfly

DragonFly support