routine to calculate using nakamura's lemma
small bugfix in iteration, committing to merge with bavarious's new UI
Merge remote-tracking branch 'origin'
add some more icons. they're kind of hard to see with such small buttons. :(