Added note about docker users still being able to just vagrant up if they want