Bug#722229: should not recommend getopt.h for getopt()

[Jakub Wilk]

* Russ Allbery <rra at debian.org>, 2013-09-09, 01:59:
>I suspect this sort of thing will be hard to fix,

Actually, it's very easy to fix. It's a matter of adding this to one of 
the mapping files:

  { symbol: [ "getopt", private, "<unistd.h>", public ] },
  { symbol: [ "optarg", private, "<unistd.h>", public ] },
  { symbol: [ "optind", private, "<unistd.h>", public ] },
  { symbol: [ "opterr", private, "<unistd.h>", public ] },
  { symbol: [ "optopt", private, "<unistd.h>", public ] },

-- 
Jakub Wilk