Change \(bu to \[ci] for utf8 encoding.
Also update HTML_ROFF_ENTITIES.
Fix tests related to changing \(bu to \[ci].