Use https url for git clone
Merge pull request #101 from robert-chiniquy/master

Use https url for git clone