Update MANIFEST script to also handle *.txz, fix some whitespacing