Issue #166: Added an extension to output HTML5 code (mainly from https://bitbucket.org/vladiris/tinkerer). We are now replacing all 'tt' tags with 'span'. Updated configuration script to add the new html translator and extension.