[slime-devel] auto-flush-thread cleanup and stop-server fix