print_dot should support option "k" as in print_hoa

So that we can print Kripke structure more nicely.

Maybe "k" should be enabled by default for Kripke structures in both dot and hoa.