Create doc directory for documentation. Move wiki pages to doc. Reorganize README.md

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

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Use consistent coding style for spaces after ','

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Use consistent coding style for if-then-else

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Modify Doxygen file to extract all elements even the undocumented ones. Disable warnings for undocumented entities. Add extra comments.

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

 - clean up builds
 - remove flex/bison
 - have separate memcheck build, doxygen build, and testcov build
Add coding style and notes

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Extract private and static, and add treeview to documentation

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Apply coding style
Add cpplint.py, a modified checker for Google's C++ coding style
Add target "style" to run cpplint.py

- try "ninja style"