Pretty print result file names
Threaded support and HIP_FLAGS wibbles to Makefile.common
Print explored theory
Print explored theory in frontend
Don't use fancy fold theory in precision-recall
Use halo version that compiles with -threaded