bump hoogle to 4.1.23, which pulls data from the old hackage server