Fixed typo and wrong vagrant installation instructions for INF1100 and INF5620.