Deprecating OperationManager in favour of OperaitonExecutor

Please see the blog post http://robotoworks.com/2013/06/goodbye-operationmanager-hello-operationexecutor/ , also see updated docs to learn how to use the OperationExecutor.