Bug#847105: wok source updated

[Lucio Correia]

I've uploaded a new source package containing:

- Updated to latest upstream version (2.3.1)
- Fixes for Andreas' review comments, except separated packaging of 
javascripts, for which I'm working on.

Regards,

--
Lucio Correia