doxygen: update to 1.8.3.1

There are many bugfixes and some new features over 1.8.1.