Made Symbooglix's soft timeout diff smaller to make initial testing
easier.
Teach SymbooglixBenchmarkRunner to use the specified entry point.
Implement CorralBenchmarkRunner
Teach RunnerBase to set 'result' to UNKNOWN by default. This field
is expected to be here for all runners so we should set a default.
Rename SymbooglixBenchmarkRunner to SymbooglixRunner
Rename CorralBenchmarkRunner to CorralRunner
Added example corral config