Shell|GUI|Text: Clear the log widget contents before connecting

The contents of the log widget are cleared whenever opening a new
connection to a server.
Documentation|Fixed: Incorrect use of @see instead of @ref

@see produces a "See also" paragraph. When referring to flag groups,
one should use @ref instead.
libdeng2|Fixed: Stop LogBuffer autoflush timer in destructor
Fixed|Shell|GUI: Update window when font has been changed
Shell|GUI|Mac OS X: Preferences dialog applies changes immediately

Conforming to platform conventions.
Fixed: More compiler warnings

Mostly potentially uninitialized variables.
Shell|Server: Added basic player info packet

The positions, names, numbers, and colors of players will be shown
in the map outline view.

Todo for later: Use the game-side player colors.
Fixed|libshell: Crash when shutting down app

If the link was open, a disconnection signal was emitted during
destruction when the application had been partially destroyed.
Fixed: Problem with QFont::exactMatch()

GuardMalloc reports a problem with QFont::exactMatch(). Perhaps it
is too early to call it (before Qt event loop entered), or there's
a bug in Qt 4.8.
Shell|GUI: Fine-tuned player position indicators

Also fixed QPainter state for players after the first one
(save/restore).
Documentation|gl_tex: Several apidoc fixes
Merge branch 'master' into mapdata-c++