Debian CI

Maintainance of Debian CI and associated packages and infrastructure