gui: Make core server parameters configurable

Signed-off-by: Michael Buesch <m@bues.ch>