HTML export: optional CSS2 dot leaders in the Table of Contents

To use it, enable "Print layout" in Options->Load/Save->HTML Compatibility,
and select the HTML Document file type in the Writer Save As dialog.

Change-Id: I763ab8340a59050fd5c68677715679f41fd91fb3