Add notes about debian packaging