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.