Add a delete library feature

[fpapadopou]

A delete library feature should be added, which would handle the deletion of the library metadata and examples metadata from the database, as well as the actual files deletion from the filesystem.