2020 RoboRIO uses xz compression for ipkg

[virtuald]

.tar.gz still works, but there's definitely some space savings to be had if we switched.

Would need to update the ipkg.py tool and some of the makefiles.