Added syntax-highlight option when rst2html.py is called

It makes it easier to use pygments since, by default, the css is in its short form.