GNOME integrated development environment