delete obsolete ledger.texi. Down with cruft!