Customize dev-server port

[fabienjuif]

Hello,

I didn't find issue about this in the one-fits-all flavor.
I find it useful to override the PORT when needed, via an environment variable.

Feel free to discuss about the implementation or to write your own if you prefer :)

Thank you for your work 👍

PS: I removed some unused constants.

[jvanbruegge]

Thanks