Fix CoFloCo call for more soundess
Add evaluation harness for Loopus
Remove binary built on demand
Improve website + website/report interaction

This makes links work again, produces no more broken links, makes the
website more pleasant to look at, and adds some more generic filtering
features to the dynamic display
Some notes about the evaluation environment
Pretty print prettier bounds