Update travis config for armadillo