smt2_parser: expressions/functions are now in hash table

This refactors the SMT2 parser to use hash tables instead of chains of
if()...else if()...  for expressions.

This enables extensions, and may have a performance benefit as the number of
expressions grows.

Author: Daniel Kroening