1) rename wasdev_install to archive_install so that installation from wasdev or product archives uses the same script and 2) improve extras archive install (make it optional by default and into a separate directory)