remove sinfo SGML files

The sinfo format used is a custom format meant to be processed by `sinfo.el`, which uses the obsolete sgmls program. I don't see any advantage in keeping these and think we should switch to using `.texi` as the master file, or choose another format.