added https.proxyUser and https.proxyPassword to github.scala