code: def get_extra_files():
      
      FILES_TO_SKIP = ["src/gdbgui.js"]
      THIS_DIR = os.path.dirname(os.path.abspath(__file__))
      extra_dirs = [THIS_DIR]
      extra_files = []
      for extra_dir in extra_dirs:
          for dirname, _, files in os.walk(extra_dir):
              for filename in files:
                  filepath = os.path.join(dirname, filename)
                  if os.path.isfile(filepath) and filepath not in extra_files:
                      for skipfile in FILES_TO_SKIP:
                          if skipfile not in filepath:
                              extra_files.append(filepath)
      return extra_files
docs: returns a list of files that should be watched by the Flask server
      when in debug mode to trigger a reload of the server