Debian packaging for glulxe