shadertool: Make --disable with no argument the same as --disable=0