Bump options from 1.0.5 to 2.0.2#86

dependabot[bot] wants to merge 1 commit intomastermarkro49/randoop:masterfrom

dependabot/gradle/org.plumelib-options-2.0.2markro49/randoop:dependabot/gradle/org.plumelib-options-2.0.2Copy head branch name to clipboard