Add server.properties file configuration.

This fixes issue #1.