Allow $SERVERNAME to override servername displayed in prompt.