5/28/14 use radius instead of diameter for specifying manipulators
5/28/14 add halo to manipulators
5/28/14 specify halo alpha for each manipulator color, since alpha needs to be different depending on color
5/28/14 replace color for 3 different points with GLColor.POINT