Use https for vundle instead of git for easier pushing