[ Issue 1357 ] Fixed by eta-expanding more projected variables.

Also those that are not only projected, but also applied to stuff (after
the projections).
[ bench ] Comparing std-lib bench for ghc-7.6 with ghc-7.8.
Merge branch 'maint-2.4.2'

Conflicts:
	src/full/Agda/TypeChecking/MetaVars.hs
	test/interaction/Issue1353.out