Bug#847105: wok source updated

[Lucio Correia]

I've uploaded a new package with:
* fixes for all warnings
* forcing make with -j1 to avoid errors in .po generation

dget -x https://mentors.debian.net/debian/pool/main/w/wok/wok_2.3.1-1.dsc

Regards,
--
Lucio Correia