Add level-seed to configurable server properties.

This relates to issue #3.