Add interactive "Run" buttons to SMT-LIBv2 code blocks#25

netolcc06 wants to merge 7 commits intocvc5:maincvc5/cvc5.github.io:mainfrom

netolcc06:run-wasmnetolcc06/cvc5.github.io:run-wasmCopy head branch name to clipboard