[ticket/10865] Updates and additions to /docs/INSTALL.html

Added anti-spam section.
Changed www.mydomain.com/tld to www.example.com.
Updated update section to mention third party styles.
Reworded several sentences for clarity.
Made file name/path formatting more consistent.
Corrected update archive type availabilities.
Changed PHP version listing to be less redundant.

PHPBB3-10865
PHPBB3-10918
[ticket/10865] Typo and phrasing change

PHPBB3-10865
[ticket/10865] Grammar corrections for the entire document

Fixed more grammatical issues, changed some phrasings, added a link
for offline conversions, and other corrections.

PHPBB3-10865
[ticket/10865] Phrase change for visiting with browser

PHPBB3-10865
[ticket/10865] Add .css, .js, and .htaccess to the list of ASCII mode files

PHPBB3-10865
[ticket/10897] Bot list updated

'Baidu [Spider]' updated.
'Bing [Bot]' fixed only identation.
'Exabot [Bot]' changed because there is used also 'Exabot-Thumbnails'
user agent.
'NG-Search [Bot]' no longer exists.
'Nutch/CVS [Bot]' is the same of 'Nutch [Bot]'.
'OmniExplorer [Bot]' no longer exists.
'Seekport [Bot]' no longer exists.
'Synoo [Bot]' no longer exists.
'Voyager [Bot]' updated.
'W3C [Validator]' corrected (there was a *).
'WiseNut [Bot]' no longer exists.

PHPBB3-10897
[ticket/10897] Update bots during phpBB update

PHPBB3-10897
[ticket/10897] Add space after foreach.

PHPBB3-10897
[ticket/10897] Remove unnecessary string casting.

PHPBB3-10897
[ticket/10897] Add comment about what's going on.

PHPBB3-10897
[ticket/10897] Move bot delete data to the relevant foreach loop.

PHPBB3-10897
[ticket/10897] Update by user_id instead of bot_name.

PHPBB3-10897
[ticket/10897] Do not handle IP address. There is no need.

PHPBB3-10897
[ticket/10897] Make sure the user we're fetching is a bot.

PHPBB3-10897
[ticket/10897] Use same code/query for deleting.

PHPBB3-10897
[ticket/11177] return no results when query has only negation

If search query has only -foo then instead of displaying all results that
do not have foo, should display no results found.

PHPBB3-11177
[ticket/10897] Combine bot updates and bot delete.

PHPBB3-10897
[ticket/11178] Do not set error_reporting to E_ALL in database_updater.php

Take whatever startup.php sets instead.

This especially takes care of E_STRICT messages that are generated because of
PHP4 compatibility.

PHPBB3-11178
Merge PR #1042 branch 'bantu/ticket/10897' into develop-olympus

* bantu/ticket/10897:
  [ticket/10897] Combine bot updates and bot delete.
  [ticket/10897] Use same code/query for deleting.
  [ticket/10897] Make sure the user we're fetching is a bot.
  [ticket/10897] Do not handle IP address. There is no need.
  [ticket/10897] Update by user_id instead of bot_name.
  [ticket/10897] Move bot delete data to the relevant foreach loop.
  [ticket/10897] Add comment about what's going on.
  [ticket/10897] Remove unnecessary string casting.
  [ticket/10897] Add space after foreach.
  [ticket/10897] Update bots during phpBB update
  [ticket/10897] Bot list updated
Merge PR #1042 branch 'develop-olympus' into develop

* develop-olympus:
  [ticket/10897] Combine bot updates and bot delete.
  [ticket/10897] Use same code/query for deleting.
  [ticket/10897] Make sure the user we're fetching is a bot.
  [ticket/10897] Do not handle IP address. There is no need.
  [ticket/10897] Update by user_id instead of bot_name.
  [ticket/10897] Move bot delete data to the relevant foreach loop.
  [ticket/10897] Add comment about what's going on.
  [ticket/10897] Remove unnecessary string casting.
  [ticket/10897] Add space after foreach.
  [ticket/10897] Update bots during phpBB update
  [ticket/10897] Bot list updated