highlight doc comments, fix #12
A doc comment is a multi-line comment with an extra * at the beginning, like /** ..*/
export syntax diagram to HTML, fix #13
prepare for next release: 0.1.1