added server-specific customization

user can now enter URL for custom version of launcher.properties