Use newer boost in travis.