Add Rémi Delmas as contracts code owner

Rémi Delmas is a member of the team working on code contracts, and has
already made a series of contributions to this part of the code base.

Author: tautschnig

CODEOWNERS

@@ -45,8 +45,8 @@
 /src/goto-analyzer/ @martin-cs @chris-ryder @peterschrammel
 /src/goto-harness/ @martin-cs @chris-ryder @peterschrammel
 /src/goto-instrument/ @martin-cs @chris-ryder @peterschrammel
-/src/goto-instrument/contracts/ @tautschnig @feliperodri @SaswatPadhi
-/doc/cprover-manual/contracts* @tautschnig @feliperodri @SaswatPadhi
+/src/goto-instrument/contracts/ @tautschnig @feliperodri @SaswatPadhi @remi-delmas-3000
+/doc/cprover-manual/contracts* @tautschnig @feliperodri @SaswatPadhi @remi-delmas-3000
 /src/goto-diff/ @tautschnig @peterschrammel
 /src/jsil/ @kroening @tautschnig
 /src/memory-analyzer/ @tautschnig @chris-ryder