Add ability to randomly choose theme

[directed-graph]

All the themes are wonderful; it'd be nice if we can have a random theme each time we use the program!