Changing player types

Added ability to switch between human, random and pre-trained player types.
Don't leave lines like this in code - the idea is that the server is always deployable.