url encode hoogle queries