security/tor-devel: Remove expired port

2023-11-30 security/tor-devel: Ignored for more than a year and security/tor is more recent than this

Author: rene0

MOVED

@@ -8139,3 +8139,4 @@ java/wildfly13||2023-12-02|Has expired: End of life upstream
 astro/xeartk||2023-12-02|Has expired: Depends on expired astro/tkgeomap
 math/py-piranha||2023-12-02|Has expired: BROKEN for more than a year and last upstream activity was in 2018
 games/abstreet||2023-12-02|Has expired: BROKEN for more than a year and issue does not seem to be resolvable soon
+security/tor-devel||2023-12-02|Has expired: Ignored for more than a year and security/tor is more recent than this

security/Makefile

@@ -1315,7 +1315,6 @@
     SUBDIR += tls-check
     SUBDIR += tlsc
     SUBDIR += tor
-    SUBDIR += tor-devel
     SUBDIR += totp-cli
     SUBDIR += tpm-quote-tools
     SUBDIR += tpm-tools