Update docs, add CREDITS.
tree059a70666cc3d9ee713070e8fecabcdebb1e50fa
-rw-r--r-- 313 CREDITS
-rw-r--r-- 9062 Doxyfile
-rw-r--r-- 2156 INSTALL
-rw-r--r-- 26436 LICENSE
-rw-r--r-- 386 NEWS
-rw-r--r-- 523 README
-rw-r--r-- 1747 SLOW
-rw-r--r-- 595 TODO
-rw-r--r-- 831 WYSIWYG
drwxr-xr-x - art
drwxr-xr-x - benchmarks
drwxr-xr-x - docs
drwxr-xr-x - library
drwxr-xr-x - maintenance
drwxr-xr-x - smoketests
drwxr-xr-x - tests