On AWS kill nuodb processes before a box shuts down

This prevents AWS virtual sockets from hanging