feat(web): Astro site + 6-slide deck + WASM-compiled rewriter demo#2

debuggingfuture merged 3 commits into

maindebuggingfuture/secure-program-synthesis:mainfrom

web/astro-scaffolddebuggingfuture/secure-program-synthesis:web/astro-scaffoldCopy head branch name to clipboard