Allow users to set their own server name (#198)