Remove timestamp from output in FileMetricObserver. Add option to compress the output file
Merge pull request #140 from dmuino/fileObserver

Remove timestamp from output in FileMetricObserver. Add option to compre...