Graph auto layout

[shishir03]

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.

[shishir03]

Todo: make a test function to generate random graphs