Added (incomplete) pygments filter that will inline the annotations as popovers