Release of GoedelWorks 3.0