Switch between docker and Virtualbox under windows10