optional port number in runserver.py

Added option to take port number from command line, just like how we did it for Funnel.