Use https for github sources to fix travis