Add Git.lastModifiedDate and lastModifiedTime and use lastModifiedDate
Let Git.lastModifiedTime be Option[ZoneDateTime] and remove Git.lastModifiedDate
Fix a bug of Git.lastModifiedTime
Fix a bug of Git.lastModifiedTime
Load only necessary highlight.js files from CDN and set last modified time of generated files