Add plus button for adding multiple repos to search. Fix a few bugs. Switch out icons of uncertain provenance for attributed icons. Add LICENSE.