Add first working fetch script.

This script works with this source-id projects and uses the Github
web interface to fetch individual source files.

TODO: Add caching by sha1sum to avoid fetching files that have already
been downloaded.