citation2latex filter (using HTMLParser)

Finishing up #4323