On appeal, the district court affirmed the bankruptcy court's finding that a creditor hadn't filed a proof of claim, as its motions for relief from stay and to prohibit the use/sale/lease of collateral could not be considered "informal" proofs of claim