Removed ElementButtons dependency from RepositoryManager.
This facilitates RepositoryManager usage in other platforms.
Renamed UpdateRepository to UpdateLibraryElements action.
Created UpdateLibrary action.
Improved RepositoryManager javadocs.
Merge pull request #568 from RotaruDan/repoChanges

RepositoryManager refactorings.