Use different shaders for clipping and no-clipping cases.

The clipping support in the shaders causes a noticable performance
hit on Android, and is rarely used. This fixes that in the common
case.