Merge pull request #16 from jrk/master

Halide tuner improvements
Fix stats.py output type

It's actually generating eps from gnuplot, not PDF. Name the file accordingly...