Get timestamp in platform-independent way

The old code used '%s', which is not part of strftime() in python.  This
code was broken on Windows; see for more details:
http://stackoverflow.com/a/11743262/1523582

Anyway, time.time() was a simpler and more direct method to get this
timestamp all along.

Closes #2.