[ Makefile ] There is no branch 2.4.2.2 in the standard library

At present, the 2.4.2.1 branch of the standard library is compatible
with Agda 2.4.2.2.
Merge branch 'maint-2.4.2'

Conflicts:
	Makefile