documentation update
gitorious: allow specifying the push and pull methods separately
gitorious: make http,ssh the default access method for github

It seems that github prefers that we use https as the pull access
method, so do so. But for pushing, prefer ssh as it does not
require a username and password.