missing ltlsynt reference

Now that a paper exists, it should be mentioned at least in

• doc/org/citing.org
• bib/man/ltlsynt.x (see other man pages with bibliographic sections for examples)