Download plugins from web

This update the plugin.php file so you can download plugins from a web server.