wekadestroy: Add --force to `weka local stop`#397

jmcvaughn wants to merge 1 commit intoweka:masterweka/tools:masterfrom

jmcvaughn:wekadestroy-stop-force-4.4jmcvaughn/weka-tools:wekadestroy-stop-force-4.4Copy head branch name to clipboard