Fix Latex output of don't-care variables.

Forces the unification module's `$dontcare` values--wildcard syntax that would unify against anything--to output in Latex identically to the underscores that K uses for don't-care values.
Merge branch 'patch-1' of https://github.com/JoeOsborn/k