WebDoc & WebLogs: fix intendation in HTML5 source.

This fix isn't visible unless someone goes to the page source.
WebStats: add more information to generated time.

The format is now `%Y-%m-%d %H:%M:%S %Z` which translates to something
like `2014-05-30 12:45:48 EEST`.
Merge pull request #187 from Mkaysi/html5-fix

WebDoc & WebLogs: fix intendation in HTML5 source.
Merge pull request #189 from Mkaysi/webstats-tz

WebStats: add more information to generated time.