Make various eval_ functions accessible from Python

[chameco]

eval_bool : Term -> Bool, eval_int : Term -> Int, eval_list : Term -> [Term], and eval_size : Type -> Int would all be useful to have in the Python API. We probably want to decouple the interface for writing Cryptol in Python from Crucible specifications a bit to do this (see #1639 ).