[python api] All information about the VERSION Python namespace.

Description

The VERSION namespace contains all version numbers.

Python API - Items of the VERSION namespace

• VERSION.BUILD
• VERSION.MAJOR
• VERSION.MINOR
• VERSION.BITWUZLA_INTERFACE
• VERSION.LLVM_INTERFACE
• VERSION.Z3_INTERFACE