dev.py: exposing some parameters

Expose the port and listen directive to the flask app in dev.py through default_settings.py