Adding live-debconfig debian version 4.0~alpha35-1.
Updating debian packaging.