chore: Migrate github pages deployment workflow to CircleCI

[janjakubnanista]

Description

Migrates the GH Pages deployment workflow to CircleCI.

I also added mise as a dependency manager. mise is being used in the optimism monorepo and provides a great way of managing tooling required for development.

It is an add-on, it does not break or affect any existing development flows, just provides a convenient way of setting up your development environment (as well as the CI environment).

• Adds the new publish workflow
  • The workflow is split into build-book and publish-book jobs to further restrict the access to the circleci-repo-specs security context
    • build-book does not need any secrets and will build the artifacts only
    • publish-book receives the artifacts and publishes them to GH Pages
• Reused the build-book job for specs-check workflow instead of running just build as a step
• Added a missing packageManager field to package.json

Tests

The workflow has been tested on a separate test branch, see here

Additional context

Metadata

[raffaele-oplabs]

There are several fixes needed

[janjakubnanista]

@raffaele-oplabs all fixed!