Speedup and fix Repo.exists_with_name?/1

Stop iterating through all repos, and fix issue with button "Add" in `/repos/new` repos didn't marked as added if username/reponame have upcase letters.
I still think the names should be changed, but I will not hold up this PR. Thanks for the speed optimization.