added type checking to menu and ui elements list.
made active circle size smaller.
Merge branch 'master' of https://github.com/pupil-labs/pyglui