Added SSH proxy configuration and fixed InteliJ options slightly.