Distribute Flatpak packages

The motivation is similar to #985, but Flatpak actually has a sensible distribution / sandboxing / dependency handling model. I will pay £100 to whoever implements this change.