Random button UI

Continues work on #186.

http://jenkins.buttonweavers.com:8080/job/buttonmen-AdmiralJota/296/

Once the bugs mentioned in #1116 have been resolved, I think this should handle the UI end of things. But this shouldn't be merged until those backend fixes are ready to be merged as well.