util: initial dot generator for State Machines

Signed-off-by: Pierre-Alexandre Meyer <pierre@mouraf.org>