Relative URIs

This just switches everything over to `url_for` so that we can poke about with `APPLICATION_ROOT` to embed srcomp-scorer.