Rewind to start and end functionality in stepping mode in all conversion

• Also changed functionality when we are in individual work mode and click show correct solution and then click check solution now it shows correct. (Previously it shows incorrect because it checks user solution on correct temp solution.)
• 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.