[ whitespace ] untabify everything
[ fix-agda-whitespace ] change tabs to spaces
Merge pull request #14 from yanok/maint-2.4.2

Untabify everything / updated fix-agda-whitespace to remove tabs
[ fix-agda-whitespace ] Added excluded files.

test/succeed/WhiteSpace, test/fail/Tabs, and test/fail/TabsInPragmas
make only sense if they contain tabs, so they are exempt from the
whitespace check.
[ whitespace ] Restored test cases relying on tab characters.
[ issue 1284 ] Added -fwarn-tabs warning
Revert "[ issue 1284 ] Added -fwarn-tabs warning"

I couldn't compile Agda because this option generates some warnings.

This reverts commit f3ca1f9233e5be504d7fee7c14c9f9a0b519dfe3.
[ 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.