A version manager for minecraft