GDB 13.1 Release.
Set GDB version number to 13.1.

This commit changes gdb/version.in to 13.1.
1 file changed