Fix minor issues in float texture extension specs

WEBGL_color_buffer_float had a wrong name for the interface, increasing
confusion between it and EXT_color_buffer_float. Also OES_texture_float
and OES_texture_half_float extensions had broken links.
OES_texture_half_float also incorrectly used OES prefix for
EXT_color_buffer_half_float.