Release .deb package

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

---

Last update: April 24, 2024