GLSL rotation about an arbitrary axis

A quick trip to the Great Oracle of Geekiness (Google) left me empty-handed so here’s a function that gives you a rotation matrix in GLSL…