document debian packaging procedure