Pluggable time sources

User-defined time provider infrastructure along with 4 builtin time sources as discussed here:

https://groups.google.com/forum/#!searchin/nlog-users/millisecond/nlog-users/6zV2LDWySfM/G5VpYD9XFcwJ