Base Python API

This is the base Python API. It is implemented on top of the C++ API and mirrors the C++ API.

For a higher-level, more pythonic programming experience, cvc5 provides the pythonic API.