Clean up /tmp/server.config in scripts/stop.sh

Created by: michielbdejong

This time, I ran scripts/start.sh as my own user, and it failed because a root-owned file /tmp/server.config still existed. Maybe worth deleting those from scripts/stop.sh