Fix log rotation in serverstart.sh to match new log.properties options, and make serverstart.sh more friendly to being run as a daemon