Add bdeformatfile.py