Update INSTALL pages and updating vagrant file builder.