Fixed #142: Translation of page titles
The dynamic strings for HTML titles and other things have been moved into theme.php as part of $LANG, so that translation files can override these.
This means that dynamic HTML titles can be translated as part of the theme, as well as the date format used, the append divider.
NOTE:
1. You should make a new 'theme.config.php' from the updated 'theme.config.default.php'
1. If you've modified your 'theme.php file', you need to make a fresh copy
2. If you've made a translation, you need to update it with the new strings, see the updated 'lang.example.php'