RoboDuck - The IRC bot of the #duckduckgo IRC channel