debian: copyright: add details for src/getopt*