UI for deciding whether to use auxiliary dice

* Fixes #89
* Jenkins: http://jenkins.buttonweavers.com:8080/job/buttonmen-cgolubi1/152/