Bump version to released libreoffice-4.2.3.1.
Merge branch 'master' of github.com:ebp/libreoffice-debs