Fixed bug that ate last character if it was start of a comment (e.g. last - or last /).
Added html outformat, with outstyle=pretty for styling. default is no style.