Remove all references to dragonlab

[ottojwittner]

The term "dragonlab" is still applied for eg. default os-index and some files and folders. Remove or replace with "microdep".