Bugfix in dbserver, addition of deletion support to dbserver. Voteserver.py now sets the terminal title as well.