Remove instructions for box remove

Some students may want to keep their dev environment to continue their studies. We'll add comprehensive cleanup instructions (vagrant, VirtualBox, GitHub for Windows, etc) later.