[libc] remove obsoleted getopt.c

share/dune

@@ -164,7 +164,6 @@
 (libc/fmtmsg.h as libc/fmtmsg.h)
 (libc/fnmatch.h as libc/fnmatch.h)
 (libc/ftw.h as libc/ftw.h)
-(libc/getopt.c as libc/getopt.c)
 (libc/getopt.h as libc/getopt.h)
 (libc/glob.c as libc/glob.c)
 (libc/glob.h as libc/glob.h)

share/libc/__fc_runtime.c

@@ -26,7 +26,6 @@
 #include "ctype.c"
 #include "errno.c"
 #include "fenv.c"
-#include "getopt.c"
 #include "glob.c"
 #include "inttypes.c"
 #include "locale.c"

share/libc/getopt.c

-/**************************************************************************/
-/*                                                                        */
-/*  This file is part of Frama-C.                                         */
-/*                                                                        */
-/*  Copyright (C) 2007-2023                                               */
-/*    CEA (Commissariat à l'énergie atomique et aux énergies              */
-/*         alternatives)                                                  */
-/*                                                                        */
-/*  you can redistribute it and/or modify it under the terms of the GNU   */
-/*  Lesser General Public License as published by the Free Software       */
-/*  Foundation, version 2.1.                                              */
-/*                                                                        */
-/*  It is distributed in the hope that it will be useful,                 */
-/*  but WITHOUT ANY WARRANTY; without even the implied warranty of        */
-/*  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         */
-/*  GNU Lesser General Public License for more details.                   */
-/*                                                                        */
-/*  See the GNU Lesser General Public License version 2.1                 */
-/*  for more details (enclosed in the file licenses/LGPLv2.1).            */
-/*                                                                        */
-/**************************************************************************/
-
-#include "getopt.h"
-__PUSH_FC_STDLIB
-
-//int optind = 1;
-
-__POP_FC_STDLIB