Menu localisation

From v11.5.0, Tinderbox's menus are now localised for French and German. There may well be blunders; if errors are encountered, these should be reported by email to Eastgate Systems. More extensive localisation for other languages may be possible in the future.