Add a database cache for the results of Maxima commands.

Currently this is almost useless, since the way we use random seeds
(even when they are not necessary) means we hardly ever get to use
results from the cache. Still, this is a big step in the right
direction.