updated server command line options with --listen#198

ntalentac wants to merge 2 commits intonetsec-ethz:masternetsec-ethz/scion-tutorials:masterfrom

ntalentac:patch-1ntalentac/scion-tutorials:patch-1Copy head branch name to clipboard