Move (almost) same overviews in admin/judge manual to common
include file and use entities to distinguish.

Synchronised section "about name and logo", added a few details on
jury interface features.
Update admin and judge manual to reflect recent code changes.
clarify possibility to upload multiple problem zip files at once
Replace GeSHi syntax highlighter with Ace javascript code editor.
Enable Ace code editor also for editing source.
libJSONcpp may also be the thing that's missing
Rename restpasswords.secret to restapi.secret

It will contain at most one password and maybe even none.
Rename example team so it fits in the new scoreboard layout.
remove unused www/images/affiliations/
Update admin manual for various changes in DOMjudge
Escape source code in jury interface.
Change obsoleted HTML5 name attributes to either id or class.

Note that the JavaScript function getElementsByClassName() is not
available in IE < 9, but was already used in getScoreboard().
Reload clarifications.php when a new clarification comes in.
Use domjudge_refresh cookie also for clarifications page
Add mapping from DOMjudge langid to Ace langid for default languages.
Rename user.authtoken to user.password; drop obsolete team.authtoken.

Stop overloading the password field with multiple tokens, because
this hinders us when presenting an appropriate UI for the field.
IP address is already stored in the ip_address field.

Changes behaviour for LDAP, which will now just match user.username,
which shouldn't be problematic. Drops unused column team.authtoken.
Display team.login as "ID" to avoid confusion with user.login.
No more highlighting.php
Improve user management by allowing to set password and adding links.

User passwords may now be (re)set from the user edit page, not on
a separate genpasswds page. The latter is now reserved to only
setting bulk passwords; which is now limited to only those users
with a team role, as we probably do not want to do bulk password
setting for admins or judgehosts.
Clarify documentation