[ fix ] fixed buggy printing of CPUTime
Merge branch 'maint-2.4.2' of github.com:agda/agda into maint-2.4.2

Conflicts:
	src/full/Agda/Main.hs