closes #355 * doc/org/citing.org, bin/man/ltlsynt.x: add SYNT2018 paper * doc/org/ltlsynt.org: fix documentation