added test automata
added random automata
Merge branch 'master' of github.com:martinhruska/libvata into gal
Merge branch 'gal' of github.com:martinhruska/libvata into gal
number of states in explicit automata