server.js: Add an optional server ID (defined in LocalSettings) / Change 'mirrors' to 'servers'

This will be used on the client side to create a subdirectory where all the patches originating from a certain server.