less: include pygments.css in main.less

For now, keep the old css location even though it now is a source file and
shouldn't be in public.