Dev server port

Add an option to run the development server on a specific port to avoid socket errors when port 8000 is already in use.