Gradle plugin for Pldoc