Fixed a minor incompatibility with Coq v8.4pl3's ideslave protocol
Bumped the version numbers to 0.4.2.1 and added a changelog entry
Merge branch '8.4pl3fix'