* Revert previous buggy patches (again).
* Reinstalling old version of navigator.
* Divide by 2 the time to launch a grader by not looking at IO traces.
* Use scp, again.
* Optimize grading time.