Merge pull request diffblue#6116 from feliperodri/permission-contract

Updates codeowners for code contracts

Author: chrisr-diffblue

CODEOWNERS

@@ -45,6 +45,7 @@
 /src/goto-analyzer/ @martin-cs @chrisr-diffblue @peterschrammel
 /src/goto-harness/ @martin-cs @chrisr-diffblue @peterschrammel
 /src/goto-instrument/ @martin-cs @chrisr-diffblue @peterschrammel @smowton
+/src/goto-instrument/code_contract.* @tautschnig @feliperodri @SaswatPadhi
 /src/goto-diff/ @tautschnig @peterschrammel
 /src/jsil/ @kroening @tautschnig
 /src/memory-analyzer/ @tautschnig @chrisr-diffblue