Defined a new set of LaTeX commands for prompt/script/GUI strings and elements for the user manual.
These will be used to regularize the text throughout the manual, as this is currently quite mixed up.
Authored by: bugman 2012-09-03
Parent: [r17427]
Child: [r17429]
