Add fancyvrb documentation