Changes

add placeholder for server name prefix The following new placeholders
can now be used to display the server name: ${viewer server name},
${player server name} and ${server name} They support the usual syntax
for displaying a prefix. E.g. you can use ${viewer server name 3} to
display only the first 3 chracters of the server name.
 (commit: 973cc73)