Updated haddock2.5 version and list of changes#780

amjjbonvin wants to merge 2 commits intomasterhaddocking/haddocking.github.io:masterfrom

haddock2.5haddocking/haddocking.github.io:haddock2.5Copy head branch name to clipboard