Move port settings to separate .js file.

* Additional instructions in DEVELOPERS.
* .gitignore ignores the ports.js file.
* server.js uses the ports.js file.
Merge branch 'dev' of https://github.com/GlimmerLabs/MathOverImages into dev