Added Hoogle plugin. Fixes #12.