Tool added to make HTML files from rascal