Set a default timezone

This is essentially required in modern PHP.  Put it in defines.php,
since it is essentially a configuration parameter.