Merge branch 'devel'
treebf76023d87569d8ba77121a069b96a2ddd25dd52
-rwxr-xr-x 526 CHANGELOG
-rwxr-xr-x 80562 Doxyfile
-rwxr-xr-x 84 LICENCE
-rwxr-xr-x 2712 Makefile
-rwxr-xr-x 761 README
-rwxr-xr-x 333 ROADMAP
drwxr-xr-x - help
-rwxr-xr-x 261 notes
drwxr-xr-x - src
drwxr-xr-x - tools
-rwxr-xr-x 117 valgrind.sh
-rwxr-xr-x 1920 valgrind.suppressions