Awaiting coderunner.stop() should actually wait until it is stopped

[jorg-vr]

see https://github.com/dodona-edu/dodona/pull/5362