This allows fetchFlake() to return the Git revision of a GitHub archive.
Also, random cleanup to argument handling.