Add doc/r2theme.html tool