Change type of TickLength from int to float

This is more consistent with other members that are defined in terms of pixels, e.g., LabelOffset.

Note: not a backwards compatibility issue because this is a new member since the last VTK release.