Add the debian repository