Coverify initial release

This is the first release of Coverify. Building the JAR is actually quite fast, but here it is if you're lazy.

Once more, Java 10 is required