minor changes to ServerCore
refactored the server objects: they now are initialized with references to the server objects they depend on, instead of making static references to Server