doxygen: update to 1.8.3.1

There are many bugfixes and some new features over 1.8.1. I don't think there's any breakage over existing functionality.