add boost to travis config