make output of timestamp optional

This is a quick and easy fix for #28.