Add mongo php extension to travis