Remove old DocFormats.h header

This header was only used by UX Write. It used Objective C #import
statements and exposed far too much stuff. We'll replace this with new,
clean API header(s) in due course.