[mlir] Match Arithmetic::ConstantOp and Tensor::ExtractSliceOp.

Add a pattern matcher for ExtractSliceOp when its source is a constant.

The matching heuristics can be governed by the control function since
generating a new constant is not always beneficial.

Differential Revision: https://reviews.llvm.org/D119605