switched git:// to https:// to avoid problems with firewall rules.
Merge pull request #33 from andersje/git_to_https

switched git:// to https:// to avoid problems with firewall rules.