Changing git:// to https:// because of issues with older versions of git. Fixes #302
Specifying port for ubuntu key server. Related to #302