Enable reading smt-lib files with dependent types for future text interface from Stainless

[vkuncak]

We would like to make it possible to have VCs from Stainless be passed as SMT-LIB files.

This will then make interchange with other tools easier.