[PATCH 2/2] gdb: add new version style

[Tom Tromey]

Lancelot> It looks like this patch could be enough to closes the following ticket:
Lancelot> https://sourceware.org/bugzilla/show_bug.cgi?id=25956 (with the
Lancelot> limitation that this patch makes the version number configurable… after
Lancelot> it has been displayed ; but at least the style is not hard-coded anymore).

Lancelot> I tried to go through the remaining code and did not find other
Lancelot> hard-coded styles (but I might have missed some).

I believe this is the only one.

Tom