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

[Joel Brobecker]

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

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

    extern void registers_info (char *, int);

-- 
Joel