introduce expr2smvt::resultt

This replaces the return-by-reference for the expression precedence in the
SMV expression formatter by a return-by-value using a pair of precedence and
formatted string.

Author: kroening