add technology name to in-game tooltip when debug info in tooltips is enabled

[slippycheeze]

Occasionally I want to know the name of a technology that a mod adds. For most things I can get that by turning on debug info in tooltips, then hovering over them. Sadly, the tooltips on individual technologies in the tech tree window do not include any debug information.

I suspect because of that it'd turn out some complicated reason they don't, but it would be nice to be able to see their name in there when debug info was enabled.

Normally it isn't that terrible to go grovel through the prototypes of the mod introducing them, but when two or three put their hands on the same thing - sand/glass, and iron/steel/titanium are common examples - because they all want or share the recipes, it can be nice to at least know the name of it. (Also, random prefixes in front of them, I'm looking at you here ---_---)

[Rseding91]

Ok, I added it for the next version of 0.17.