Admin/isatest-statistics
2006-09-20 isatest 2006-09-20 choose gnuplot terminal by platform
2006-09-20 wenzelm 2006-09-20 set terminal png color -- works for older versions of gnuplot;
2006-09-20 isatest 2006-09-20 make it work on sunbroy2
2006-09-19 wenzelm 2006-09-19 tuned;
2006-09-19 wenzelm 2006-09-19 target dir; proper time formats;
2006-09-19 wenzelm 2006-09-19 time: include year;
2006-09-19 wenzelm 2006-09-19 Produce statistics from isatest session logs.