Optimize Add::dict_add_term()

Now the key is searched for only once.
Optimize Mul::dict_add_term()

See the previous commit for more info.
Fix printing of map_basic_int
Move integer processing out of the inner loop
Merge pull request #24 from certik/speed

Speedup Mul expansion