Add SelectionTools to repositories.json
Add SelectionTools to package_name_map
Merge pull request #1392 from simonrad/master

Add SelectionTools plugin