CI: Remove Jenkins doc-rules job

No match.