Fixes for handling large numbers of tool shed repositories during installation into Galaxy.
Skip functional tests and log error message if a repository's tool dependencies fail to install correctly. Clean up uninstall method.
Updated documentation on missing tool dependencies.