* Make sure resource import is finished before launching anything.
* Divide by 2 the time to launch a grader by not looking at IO traces.
* Use scp, again.