Implement a GitHub Action for benchmarks with optimized setup (no Xdebug, with cache, ...). If possible with automatic docs-sync.