3dfe820 Use github tarballs

Authored and Committed by zbyszek 8 years ago
    Use github tarballs
    
    tar.xz is 800kB smaller than tar.gz, but not having to create the tarball
    manually is much more convenient.
    
        
file removed
-26
file modified
+2 -3