A few minor changes, added vagrant documentation