Ymir: The Dedicated Servers update

This update finally adds proper dedicated servers to Ymir, by getting rid of the Steam lobby and its broken implementation in the Engine used by Ymir. I've now made my own master server to list existing servers, allowin…