eclipse_theme: Download and convert a theme from eclipsecolorthemes.org to CSS
Description
This function uses the XML package to parse the theme as an XML file,
then converts to a CSS file using a brew template in the knitr package.
The CSS file can be further parsed with knit_theme$get(), and the
result will be ready for knit_theme$set() to set the highlighting
theme.