Remove mongo extension building

See http://about.travis-ci.org/docs/user/languages/php/#Preinstalled-PHP-extensions