Raspberry Pi builds should upload as .tar.xz instead of .tar.bz2.

Makes the archive about 40-50% smaller!

--HG--
extra : rebase_source : adac7393b54fb8c05cb868858c968da87f3d7199