Bug#772928: [pdftex] Add option -synctex to pdftex(1)

[Karl Berry]

    Subject: [pdftex] Add option -synctex to pdftex(1)

I applied this patch (and made some other updates at the same time).
TL r51815. Thanks. -k