add default instrepo the same way as --instrepo / --repo

The other code was slightly prettier but this means we only use one
codepath for adding custom repos, which is A Good Idea.
Use yum.conf proxy config for custom repos (#892994)

If you configured a proxy in yum.conf, we should use it for repos that
are added from the commandline (or the default install repo).