Anonymize opam file

Author: ppedrot

opam

@@ -1,13 +1,9 @@
 opam-version: "2.0"              
 version: "8.16.dev"
-maintainer: "Meven.Bertrand@univ-nantes.fr"
+maintainer: "anon@anon.com"
 dev-repo: "git+https://github.com/CoqHott/logrel-coq.git"
 bug-reports: "https://github.com/CoqHott/logrel-coq/issues"
-authors: ["Meven Lennon-Bertrand <Meven.Bertrand@univ-nantes.fr>"
-          "Loic Pujet <loic.pujet@ens.fr>"
-          "Kenji Maillard <kenji.maillard@inria.fr>"
-          "Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>"
-]
+authors: ["anon@anon.com"]
 license: "MIT"
 depends: [
   "coq" { >= "8.16" & < "8.17~" }