Made port of the runner configurable
Merge pull request #108 from johanneswuerbach/server_port

Made port of the runner configurable