Fix stats.py output type
Fix stats.py output type

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

Sierangho/opentuner,ucb-sejits/opentuner,lazyparser/opentuner,jbosboom/opentuner,jansel/opentuner,lazyparser/opentuner,ucb-sejits/opentuner,Sierangho/opentuner,phrb/opentuner,Sierangho/opentuner,Sierangho/opentuner,phrb/opentuner,lazyparser/opentuner,lazyparser/opentuner,jbosboom/opentuner,jansel/opentuner