[ issue 1226 ] Restored correct interaction test output.
Merge branch 'maint-2.4.0' of github.com:agda/agda into maint-2.4.0
[ issue-1225 ] Back-ported fix to maint-2.4.0
Merge branch 'maint-2.4.0'

Conflicts:
	Agda.cabal
[ issue 1226 ] Restored code that deletes iis filled by Auto.
[ perf ] Changed a normalise to reduce.
Merge branch 'maint-2.4.0' of github.com:agda/agda into maint-2.4.0
Merge remote-tracking branch 'origin/maint-2.4.0'
[ issue1227 ] test case
[ issue1227 ] fixed unquoting of dot patterns
[ issue1227 ] fixed broken permutation for unquoted clauses
[ issue1227 ] added reduction check to test case
[ issue1227 ] don't use (==) on DontCare terms!
Merge remote-tracking branch 'upstream/master'