Line stroke size in WebGL overlays

wildosd lets us change the color of individual segments using an array of color indices. Have a similar API to change the stroke width for individual segments.