Added explanation for building and locating a Hoogle DB