Fix bug: escape escaped double quotes properly

The previous code used to ignore all closing quotes if the same token
also has an escaped double quote. For example, in

-Dkey="I am the \"man\""

the last token contains both escaped quotes and valid quotes. This
used to be interpreted as a token that doesn't have a closing quote
when it actually does. This is fixed in this commit.

Author: andrewor14

bin/utils.sh

@@ -42,7 +42,7 @@ escape_java_options() {
   option_buffer=""     # buffer for collecting parts of an option
   opened_quotes=0      # whether we are expecting a closing double quotes
   for word in $1; do
-    contains_quote=$(echo "$word" | grep \" | grep -v \\\\\")
+    contains_quote=$(echo "$word" | sed "s/\\\\\"//g" | grep "\"")
     if [[ -n "$contains_quote" ]]; then
       # Flip the bit
       opened_quotes=$(((opened_quotes + 1) % 2))