Put last modification date into generated pages.

Simple example:
```php
  <?php if (!IsDevelopmentMode()) : ?>
  <meta http-equiv="Last-Modified" content="<?= date(DATE_RFC1123) ?>">
  <?php endif; ?>
```
Source file modification date should be used for better results.