Functionality to begin/end in stepping mode.

 * Self arrow is now visible when selected by dashed line.
 * Tooltips to FA editing buttons.
 * Make fully functional formal editor of FA.
 * Add functionality when delete symol from FA in formal and internal view, then deletes all transitions with this deleted symbol.