Move irony to the gtksharp-explorer branch