doxygen: update to 1.8.3.1

There are many bugfixes and some new features over 1.8.1.
Merge pull request #401 from cpages/master

doxygen: update to 1.8.3.1