v0.1.0: First Maven Central Release

Updated gradle configuration to make the tool available on Maven Central.

v0.0.2: Update change log

Infrastructure for fuzzing. Does not include SVCOMP tests.

Pre-alpha version

This is simply an experiment to see if jgit will work if there is at least one release.