Allow to specify dev server port as command line option

Fixes #536