slaprunner: change the default port used by the monitoring web server
slaprunner: updated schema.json for new parameter monitoring-port