monaco_editor: rename json_schema_url -> schema_url

To follow the API as the new JSON editor
13 jobs for master
in 0 seconds, using 0 compute credits, and was queued for 0 seconds