main.js dropdown menu removal of disconnected bots

now drop-down list elements (bots) have class = "botName" and id = <the
bot's client id (GUID)>