Release .deb package

Our CI currently builds binary releases for Ubuntu. Expect more to come: contributions are welcome!

---

Last update: June 30, 2024