Remove develop_plugins, replace with --develop and --install-dir options for build_plugins