Show summary data about a compstate.
usage: srcomp summary [-h] compstate
competition state repository