Fix travis by adding mongo php ext to php.ini