Enable MongoDB PHP extension for Travis