adding a release announcement and some doc fixes
regen docs for 2.5.1, add links for coverage reports
last change to release announce
use gudea/gudea as header/body fonts
fix links and add github link
Added tag 2.5.1 for changeset 039d543d1ca0