Managing library elements

You no longer manage library elements in ProjectPilot. Therefore, we removed the corresponding tools.

Similarly, the path settings for symbol files and smart symbol files ( Options - desktop environment - Save to) are no longer necessary. Therefore, we removed those settings, too.