Add a filter to produce an rfc3339 timestamp from a tiddler timestamp

These are the sorts of strings used in the datetime attribute of
an HTML <time> element.

Added tests for this and the other two existing filters.