Tools for formatting floppy disks for the ibm 5160