Fixing #59: Honor no-proxy settings in IDEA.

Replaces the manual proxy selection with IDEA's built-in IdeaWideProxySelector.