php-phalcon: add a mongodb permutation

Add a MongoDB permutation for the phalcon port (php-phalcon).