Custom time format for logs
 

The default time format of logs saved using savelog2() is pretty large, and can contribute quite a lot to the filesize. I thought it might be handy if we could use a custom time format, for example only displaying hour, minute and second if it's for a log which gets reset daily or something.
Logs can get quite big, you know..

Somewhat related to this.
Bumping.