Change default mathoid port to 10042

Change-Id: I331c10b333e2cb031975c193912c30511f450473