PHPCRMenuProvider now uses manager registry instead of name
Merge pull request #108 from symfony-cmf/manager-registry

[update] Add support for multiple document managers (issue #79)