Pass-by-value in code*t constructors

Profiling does not show any advantage of using rvalue constructors over passing
by value (and then moving in place), and this requires at most as many copies as
the previous const-reference case. Also make use of the new exprt constructors
to set up operands without an additional add_to_operands call.

Author: tautschnig