broke read_server_property into own tests
renamed some tests
added an integration test for genconfig