Add instrument library

m.puchnerrequested to merge
AddInstrumentLibrary into develop

adds a persistent instrument library. Still very simple UI, to be enhanced in future MRs

Merge request reports