Graph auto layout

[silicon-21]

Add a button to the menu that automatically cleans up a graph and makes it look more readable. Especially helpful when converting an NFA to a DFA, and all vertices are initially arranged in a line.

[silicon-21]

Todo: make a test function to generate random graphs