Use tar for packaging instead of zip
Merge pull request #366 from nhr/OSE12_from_zip_to_tar

Use tar for packaging instead of zip