Copyright for debmake-doc source package in Stretch