Replace homegrown config framework with standard

[Jan Schäfer]

The class JSkatOptions is a homegrown approach for storing and handling the configuration of JSkat. To get rid of this "not invented here syndrome" we should use a standard library instead.

See https://commons.apache.org/proper/commons-configuration/ as one example.