Give all label a html context in dot backend
Give all label a html context in dot backend

Before, atoms printed in the dot backend could either be in a html
label, or in a simple label, which caused some problems for escaping
special characters such as newlines. This commit fixes that problem by
having all labels be html labels in the dot output.

Gbury/mSAT