Support for changing Thumb shape

These commits allow the user to change the shape of the thumb indicator, via thumb_shape attribute or setThumbShape.

Currently adds a circle shape option, on top of the default square.