Bump nokogiri from 1.10.4 to 1.13.6#8

dependabot[bot] wants to merge 1 commit intogh-pages-srcimandra-ai/imandra-ai.github.io:gh-pages-srcfrom

dependabot/bundler/nokogiri-1.13.6imandra-ai/imandra-ai.github.io:dependabot/bundler/nokogiri-1.13.6Copy head branch name to clipboard