Doxygen, Docker, analysis-diff script, extra-mode compiler warnings, and minor configure tweaks and fixes.