[ Issue 1379 ] Fixed the range of with clauses starting with an ellipsis.
[ cosmetics ] Broke a too long line.
[ interaction ] Show also open instance metas.

Could not see any effect on the interaction test suite.
Merge branch 'maint-2.4.2'

Conflicts:
	src/full/Agda/Syntax/Concrete.hs
	src/full/Agda/Syntax/Concrete/Definitions.hs