Script to allow annotating Pygments-highlighted code with Bootstrap popovers