added php mongo extension to travis