Rename server-properties.rst to sponge-config.rst