Update Benchmarks site#4

hansjoergschurr wants to merge 3 commits into

SMT-LIB:mainSMT-LIB/SMT-LIB.github.io:mainfrom

hansjoergschurr:benchmarks-sitehansjoergschurr/SMT-LIB.github.io:benchmarks-siteCopy head branch name to clipboard