A tool for resizing BDF format font