Change default port

* default is now 10024
* can be changed to 8128 via export MATHOID_PORT=8128