Convert strings to int and boolean when migrating from the server.properties

Ticket: #392 
Convert strings read from the `server.properties` to `int`s or `boolean`s depending on the type of their default value.
If the value in the `server.properties` cannot be converted to an integer but is supposed to be one, prints out a warning and continues with the next property.