WebSubmit: avoid printing empty doctype section
- On the Files tab, do not print empty doc type section heading in the "doctype file(s)" headlines.
- For INSPIRE site, do not print 'INSPIRE-PUBLIC' doctype either, because it is playing the role of the empty doctype.
- Cherry-picked from 911010d3727be8057bb8beef22a67230a2f01803.