Implement BVSHL, BVLSHR and BVASHR bit-shift by expression operators from CVC3.

This implements the CVC3 variable shift operators in the parser and printer (the underlying functionality already exists, just wasn't exposed).