Remove placeholder $id from JSON schema and fix description

Author: Steven Cartmell

tools/config/schema_app.json

@@ -1,9 +1,8 @@
 {
   "$schema": "http://json-schema.org/draft-06/schema#",
   "title": "Mbed Library Schema",
-  "description": "Configuration file for an mbed library",
+  "description": "Configuration file for an mbed application",
   "type": "object",
-  "$id": "http://example.com/root.json",
   "properties": {
     "name": {
       "$ref": "file:definitions.json#/name_definition"

tools/config/schema_lib.json

@@ -3,7 +3,6 @@
   "title": "Mbed Library Schema",
   "description": "Configuration file for an mbed library",
   "type": "object",
-  "$id": "http://example.com/root.json",
   "properties": {
     "name": {
       "$ref": "file:definitions.json#/name_definition"