Switch to INI-style config

No new features yet; still supporting both Python 2 and 3.
Allow configuring server name
Allow changing the separator