add a deb package (to be moved to ppa or something)