Add hoogle server commands