Merge pull request #563 from RotaruDan/repoChanges

Repository changes and more fixes.
Removed ElementButtons dependency from RepositoryManager.
This facilitates RepositoryManager usage in other platforms.
Renamed UpdateRepository to UpdateLibraryElements action.
Created UpdateLibrary action.
Improved RepositoryManager javadocs.