Path ToolBit Library

Description
A tool library is a (JSON) file with a mapping of tool id to the path of the toolbit file. As a consequence each toolbit can be in multiple libraries and doesn't have an id of it's own. The id is a property of the library.

Due to each tool being stored in its own file and the storage/organization of those files being quite flexible the importance of a tool library for organisational purposes is quite diminished. The user is free to organise their tools in whichever directory hierarchy they see fit and can also name them as best fits their use and organisation. A tool library is nevertheless a great representation for a physical grouping of tools, such as in an automatic tool changer.

JSON Structure
{ "tools": [ {     "nr": 1, "path": "t1.fctb" },   {      "nr": 2, "path": "t2.fctb" },   {      "nr": 3, "path": "t3.fctb" } ],  "version": 1 }