syslogd: add config option to include milliseconds in timestamps