Fix the doc deployment on CI

[Chih Cheng Liang]

What command(s) is the bug in?

cargo doc --no-deps

Describe the bug

The build script for integration-tests failed because the CI omits the Solidity.

But to build the documentation we shouldn't add Solidity to CI. We should ignore the documentation of integration tests.

We can try cargo doc --no-deps --workspace --exclude integration-tests for that.

https://github.com/privacy-scaling-explorations/zkevm-circuits/actions/runs/7031910543/job/19134517471#step:5:881

error: failed to run custom build command for `integration-tests v0.1.0 (/home/runner/work/zkevm-circuits/zkevm-circuits/integration-tests)`

Caused by:
  process didn't exit successfully: `/home/runner/work/zkevm-circuits/zkevm-circuits/target/debug/build/integration-tests-b8f[882](https://github.com/privacy-scaling-explorations/zkevm-circuits/actions/runs/7031910543/job/19134517471#step:5:883)81a64068ad/build-script-build` (exit status: 1)
  --- stdout
  cargo:rerun-if-changed=build.rs

  --- stderr
  Error: FailedToGetSolidity("\"solc\": No such file or directory (os error 2)")

,

Concrete steps to reproduce the bug. If it's able reproduce via testool, please share test_id from jenkins report

No response