Webtiles: Fix Tornado 4 compatibility.
Webtiles: Use TOML instead of JSON for config.

(See https://github.com/toml-lang/toml)

This allows comments and generally has a more human-readable syntax. The
(MIT-licensed) parser is included and has no further dependencies.
Player title colors and descriptions for WebTiles lobby and chat

This gives player names a color and tooltip description in the lobby
and spectator list based on the following "titles":

  admins:         Server Administrator
  devteam:        DCSS Developer
  goodplayers:    a player with 10+ wins
  greatplayers:   a player that has won every species in a version of
                  crawl
  greaterplayers: A greatplayer has won every species and class in a
                  version of crawl
  centuryplayers: A greaterplayer that has 100+ wins

The admins are set in the server configuration file option
server_admins. The devteam members are stored in the file
devteam_crawl_accounts.txt in the webserver folder, which is then read
by the WebTiles server when configuration is loaded. This file must be
updated in the repository when changes occur.

The script webserver/get_titles.py fetches the nickdb from the public
Sequell URL and extracts the player titles to a file. It then sends a
SIGUSR2 signal to the WebTiles server, which causes the server to
reload this data. This script is meant to be run regularly via
e.g. cron, and probably needs updating to only change the file and
send the signal if the title listings have changed.

Conflicts:
	crawl-ref/source/webserver/config.toml
	crawl-ref/source/webserver/templates/footer.html
Don't use ids, and don't crash the server if devteam_file is not set.
webtiles-changes: Add support for -dir
Hopefully fix the player name coloring CSS.
Remove a spurious character in the WebTiles config
Improve the error and message handling of the WebTiles title script

The webserver/get_titles.py script now prints warnings and continues
if the server pid file isn't in the config or can't be opened, and
only sends SIGUSR2 if it has found a server pid. It also prints
activity messages by default, which can be suppressed by a '-q' option
so only warning/errors are printed.
Tweak the definition of centuryplayer given in WebTiles

to match what's used by Sequell: simply 100+ wins regardless of
greaterplay or greatplayer status.
Remove whitespace and add braces
Properly colour good/greatplayers in WebTiles lobby (johnstein)