Gradle plugin for eclipse devtools tomcat plugin