[ cosmetics ] CamelCase in Common.Reflection tests.
Merge branch 'maint-2.4.2' of github.com:agda/agda into maint-2.4.2
Merge branch 'maint-2.4.2' of github.com:agda/agda into maint-2.4.2
[ Issue 1288 ] Do not outlaw NO_TERMINATION_CHECK on maint.
[ unquoteDef ] release notes
Merge branch 'maint-2.4.2'

Conflicts:
	src/full/Agda/Syntax/Concrete/Definitions.hs
[ cosmetics ] CamelCase in Common.Reflection tests.
Merge branch 'master' of github.com:agda/agda
Removed UnicodeSyntax language extension

See https://github.com/agda/agda/commit/4349a8729ed213087ea141acf039fd8c27e0a3a8#commitcomment-8181490.
Merge branch 'unicode'

Conflicts:
	src/full/Agda/Syntax/Concrete/Definitions.hs
Try with very simple .travis.yml first.
Travis chockes on haskell-src-exts.

Do stuff to try to understand what's wrong.
Use the install directory to install things.
Kill old .travis.yml.

git!
Stick to 7.8.3 for the time being.

Since it takes a lot of time to test a travis-ci script.
Travis: install dependencies.
Travis seems to `cabal update` automatically.
Disable travis notification until things work.
Remove travis testing lines.

They were pointless anyway, since the problematic part right now is in
the install phase.
Travis: update alex as well as happy.