Few diagram beautifications

* Changed delimiter from "," to ":" on edge labels
* Add warnings for non-matched sources or actions in FSM

Signed-off-by: Martin Sustrik <sustrik@250bpm.com>