Update for DOMjudge 4.0.2
Update dependencies, copyright for 4.0.
Preliminary updates to live-usb for 4.0.

Not completed yet.