'make sync' should only upload tutorials if changed #148
Description
At the moment, we upload tutorials no matter what when make push is run.
This means that students will then have to download a new tutorial package upon startup, even if nothing has changed.
It would be better to only upload when the hash of the package changed (probably equivalent to the zipfile hash, but it might not be if zip files store modification times).