Use HTTPS for downloading vundle and remove push.default settings for git