Multiple merges into main from dev

See merge request !1

Wrote a quick loop for converting between high nside ipix to low nside ipix. But swapped this out with vectorized version.

The "column tetris" method was coined here: https://stackoverflow.com/questions/2966524/calculating-and-saving-space-in-postgresql/7431468#7431468

Recover missing files