[ MAlonzo ] Added type signatures (and cosmetic changes)
[ MAlonzo ] Replaced 'parseWithMode' with 'parseModuleWithMode'
[ issue 1284 ] Removed tabs from MAlonzo
[ issue 1284 ] Added TODO to fix-agda-whitespace
[ issue 1284 ] Added -fwarn-tabs flag
[ travis ] Adapted hvr's .travis.yml template.
Merge branch 'maint-2.4.2' of github.com:agda/agda into maint-2.4.2
[ travis ] Tried removing the constraints.
Merge branch 'maint-2.4.2'
[ fix ] Do not rely on (show A.Name == C.Name).
[ cosmetics ] in ConcreteToAbstract.
[ tiny refactor ] To improve readability in Scope.Base.
[ refactor ] To increase code comprehension in Scope.Base.
[ issue 1269 ] Added type signatures

Also cosmetic changes and changes suggested by HLint 1.9.5.
[ issue 1269 ] Fixed

The function TypeChecking.Primitive.primQNameType returns a normalised
type now.
[ issue 1269 ] Added test case
Merge branch 'maint-2.4.2'
Renamed Common.Reflect to Common.Reflection
Merge branch 'maint-2.4.2'
[ refactor ] Lenses for amodName and anameName.