Add egraph.function_values(fn) to export all function values like print-function

Add egraph.function_values(fn) to export all function values like print-function #55