Compress source.tar, reducing overall distributed source size with
about 30%. Also, actually push this branch ;)