TECH: initial debian packaging.