Added explanation for how to build a Hoogle DB and where to find it