Bump hoogle to 4.2.24