Gradle plugin for the Whiley language