[HOpenGL] ANNOUNCE: GPipe-1.0.0: A functional graphics API for programmable GPUs