Benchmarking platform

[matteosz]

This PR implements a benchmarking visualization tool for kyber and the script to run the benchmarks itself.

Steps to ensure it works correctly:

• GITHUB_TOKEN must have read and write permissions enabled
• GITHUB pages must be configured to deploy from gh-pages branch and use ./root folder