add a simple shell wrapper to convert HTML files (by piping everything through tidy)