[7/8] make commands in infcmd.c static

[Tom Tromey]

>>>>> "Joel" == Joel Brobecker <brobecker@adacore.com> writes:

>> -void all_registers_info (char *, int);
>> -
>> void registers_info (char *, int);

Joel> You can probably also delete this declaration, as infcmd.c
Joel> includes "inferior.h" which declares it as well:

Joel>     extern void registers_info (char *, int);

Thanks, Joel.
The patch I am checking in also removes this line.

Tom