Remove $cmd args/properties and deprecate mongoCmd option

Even if the "mongo.cmd" INI option is customized, the orignal "$" character may still be used. There is no functional reason to support a customizable command character in Doctrine.
Merge pull request #131