Add function lshr().

Needed by instcombine, but has no obvious infix operator. Used lshr() by
analogy with Z3.