Bump options from 1.0.5 to 2.0.0#14

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

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