Update citations to use doi.org links
Update citations to use doi.org links

Third citation link was failing anyway, and while the old links worked
for the previous two, using modern doi.org links is more idiomatic

ndmitchell/hoogle,ndmitchell/hoogle,ndmitchell/hoogle