appserver: added do_appserver.sh to restart appserver after segfault, probably from database access errors