[ 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
Fixed Haddock issue
[ test ] fixed NO_TERMINATION_CHECK error output
[ test ] clean up after api-test
Merge remote-tracking branch 'origin/maint-2.4.2'

Conflicts:
	src/full/Agda/Interaction/InteractionTop.hs
[ test ] fixed bug in usage of 'find'
Merge remote-tracking branch 'origin/maint-2.4.2'