Checkpoint
t branch -l
Merge branch 'http_app' of https://github.com/frenetic-lang/frenetic into http_app
Add WebKAT front-end