Add more examples to the documentation (#6569)

This PR adds (most of) the existing examples to the documentation, and does some other minor updates on the documentation. Some details:
- for consistency, all cpp examples are moved from examples/api to examples/api/cpp
- add capabilities for SMT-LIB examples, and two simple smt2 examples
- more docs/examples/*.rst files
- two new documentation categories: installation (how to obtain, compile and install cvc5) and binary (about the cvc5 binary)

1 files changed, 5 insertions, 0 deletions

diff --git a/docs/binary/options.rst b/docs/binary/options.rst
new file mode 100644
index 000000000..6f9c613e7
--- /dev/null
+++ b/docs/binary/options.rst
@@ -0,0 +1,5 @@
+Commandline Options
+===================
+
+.. include-build-file:: options_generated.rst
+