Add options to dev-server

So there is no need to use the separated tasks when you want the server on a different port.