[RFA] Fix memory leak in add_symbol_file_command

[Tom Tromey]

>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:

Pedro> Looks fine to me.  A couple nits.

Thanks.  I fixed these, and I'm checking it in.

Tom