history time

Created by: theduke

It would be nice to have a timestamp in the history files, also in the default format. Otherwise supporting a configuration like bash's HISTFILEFMT would be useful.

If this is something the maintainers are open to, I'm willing to trying this myself.