Changed github urls to https, so that other users could clone