JWikitext, wikitext-to-HTML engine and library