using doxygen to document z3py API

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>

doc/mk_api_doc.py

@@ -25,6 +25,7 @@ try:
     mk_dir('api/html')
     mk_dir('tmp')
     shutil.copyfile('website.dox', 'tmp/website.dox')
+    shutil.copyfile('../src/api/python/z3.py', 'tmp/z3py.py')
     cleanup_API('../src/api/z3_api.h', 'tmp/z3_api.h')
     
     print "Removed annotations from z3_api.h."
@@ -40,6 +41,8 @@ try:
     print "Removed temporary file z3_api.h."
     os.remove('tmp/website.dox')	
     print "Removed temporary file website.dox"
+    os.remove('tmp/z3py.py')	
+    print "Removed temporary file z3py.py"
     os.removedirs('tmp')
     print "Removed temporary directory tmp."
     sys.path.append('../src/api/python')

doc/website.dox

@@ -13,6 +13,6 @@
    - \ref capi 
    - \ref cppapi
    - <a class="el" href="class_microsoft_1_1_z3_1_1_context.html">.NET API</a>
-   - <a class="el" href="z3.html">Python API</a>
+   - <a class="el" href="namespacez3py.html">Python API</a> (also available in <a class="el" href="z3.html">pydoc format</a>).
    - Try Z3 online at <a href="http://rise4fun.com/z3py">RiSE4Fun</a> using <a href="http://rise4fun.com/z3py">Python</a> or <a href="http://rise4fun.com/z3">SMT 2.0</a>.
 */

doc/z3api.dox

@@ -709,6 +709,7 @@ INPUT_ENCODING         = UTF-8
 FILE_PATTERNS          = website.dox \
                          z3_api.h \
                          z3++.h \
+                         z3py.py \
                          ApplyResult.cs \
                          AST.cs \
                          ASTMap.cs \

src/api/c++/z3++.h

@@ -39,6 +39,9 @@ Notes:
 */
 /*@{*/
 
+/**
+   \brief Z3 C++ namespace
+*/
 namespace z3 {
 
     class exception;