Complete rewrite

The script now compares modification dates of the local files with
modification dates of the remote files (mumapper and roald), and only
proceeds if the dates differ (or if the local files have been deleted).

After a succesful make, an ordered(!) Turtle serialization will be
pushed to github.com/realfagstermer/realfagstermer