update vagrant links
update introduction
update whatisdevenv