Add support for multi-level optimization.
Fix mixed INCONSISTENT/ANSWER + UNKNOWN run series.
Turn off boxplots and tex tables, don't choke when all runs time out.
Add support for multi-threaded XZ.
Timeout for shoveling stdin to the checker, some checkers are just messed up.