Update vagrant provider info and ghc version