Fix for the 'Help->Licence' menu entry.
The GPL text from the gpl() function docstring is now printed, as this is no longer a user function.
Authored by: bugman 2012-05-13
Parent: [r16286]
Child: [r16288]
