Added RichWPSProvider disconnect after deploy/undeploy, to invalidate cache. Closes #38.
Renamed DeployManager to RichWPSManager. refs #13. closes #38.