Update to release v4.1.

Release info: https://github.com/JabRef/jabref/releases/tag/v4.1
Changes: https://github.com/JabRef/jabref/blob/v4.1/CHANGELOG.md#41---2017-12-23

Reported by: portscout