adding mongo etc. extensions to travis php environment