Add timestamp to pylint files

.. which will make it a lot easier parsing them afterwards and turning
them into a nice graph over time.

Part of #274.