UI fix for renaming symbols

The change makes the "replace with" line edit for symbol
renaming wide enough.

The default QLineEdit has space for ca. 17 characters, we now
expand to the maximum of 25 and the space needed for the replacement
text.