CI: Remove Jenkins doc-rules job