Remove Thomas Spriggs codeownership except for incremental SMT2

I am expecting the time I can make available for code reviews to be
rather limited in the immediate future. As I do not wish to hold up
anyone elses work waiting for my review, I am reducing the number of
areas for which I am codeowner. I intend to retain code ownership of the
incremental SMT decision procedure as I have particular expertise in
this area.

Author: thomasspriggs

CODEOWNERS

@@ -35,21 +35,21 @@
 
 # These files change frequently and changes are high-risk
 
-/src/cbmc/ @kroening @tautschnig @peterschrammel @NlightNFotis @thomasspriggs
+/src/cbmc/ @kroening @tautschnig @peterschrammel @NlightNFotis
 /src/goto-programs/ @kroening @tautschnig @peterschrammel
 /src/util/ @kroening @tautschnig @peterschrammel
 /src/solvers/refinement @martin-cs @peterschrammel
 /src/solvers/strings @martin-cs @peterschrammel
 /jbmc/src/java_bytecode/ @peterschrammel @TGWDB
 /src/analyses/ @martin-cs @peterschrammel
 /src/pointer-analysis/ @martin-cs @peterschrammel
-/src/libcprover-cpp @NlightNFotis @thomasspriggs @esteffin @TGWDB @peterschrammel
-/src/libcprover-rust @NlightNFotis @thomasspriggs @TGWDB @peterschrammel @esteffin
+/src/libcprover-cpp @NlightNFotis @esteffin @TGWDB @peterschrammel
+/src/libcprover-rust @NlightNFotis @TGWDB @peterschrammel @esteffin
 
 # These files change frequently and changes are medium-risk
 
 /src/goto-analyzer/ @martin-cs @peterschrammel
-/src/goto-bmc/ @NlightNFotis @thomasspriggs @esteffin @TGWDB @peterschrammel
+/src/goto-bmc/ @NlightNFotis @esteffin @TGWDB @peterschrammel
 /src/goto-harness/ @martin-cs @peterschrammel
 /src/goto-instrument/ @martin-cs @peterschrammel @tautschnig @kroening
 /src/goto-instrument/contracts/ @tautschnig @feliperodri @remi-delmas-3000
@@ -61,9 +61,9 @@
 /jbmc/src/janalyzer/ @peterschrammel @TGWDB
 /jbmc/src/jdiff/ @peterschrammel
 /src/cpp/ @kroening @tautschnig @peterschrammel
-/src/solvers/smt2 @kroening @martin-cs @peterschrammel @thomasspriggs @NlightNFotis @TGWDB
+/src/solvers/smt2 @kroening @martin-cs @peterschrammel @NlightNFotis @TGWDB
 /src/solvers/smt2_incremental @peterschrammel @thomasspriggs @NlightNFotis @TGWDB @esteffin
-/src/solvers/Makefile @kroening @tautschnig @peterschrammel @thomasspriggs @NlightNFotis @TGWDB @esteffin
+/src/solvers/Makefile @kroening @tautschnig @peterschrammel @NlightNFotis @TGWDB @esteffin
 /src/statement-list/ @kroening @tautschnig @peterschrammel
 
 /cmake/        @diffblue/diffblue-opensource