Fixing #59: Honor no-proxy settings in IDEA.
Replaces the manual proxy selection with IDEA's built-in IdeaWideProxySelector.