Add section on debian packages