Now using a GtkMenuBar instead of a GtkMenuButton;
WPI parser: Make sure to only continue when reading the file went fine;
SVG converter: Remove unneeded variable 'header';