demo/repl.html: Remember options in the query string.

demo/repl.html: Remember options in the query string.

This makes it possible to reload repl.html (say, after a recompile of
bin/traceur.js) while retaining your options.

BUG=None
TEST=None

[usrbincc, 2013-03-13 20:45:33]

Patch order at a glance:

demo/repl.html: Add the ability to show the full options list.
https://codereview.appspot.com/7329050/
demo/repl.html: Remember options in the query string.
https://codereview.appspot.com/7777050/

#--cut--
dl_check() {
  local f=$(basename $1)
  test -e $f || curl -sO $1
  openssl sha1 < $f | grep -q "= $2" && return 0
  echo sha1 mismatch!
  return 1
}

git checkout dbaacc7efc9fd56b   # recent HEAD for branch master

git checkout -b issue7777050-repl-querystring

### demo/repl.html: Add the ability to show the full options list.
dl_check https://codereview.appspot.com/download/issue7329050_2001.diff \
  f9030939bfe956c8 && git apply issue7329050_2001.diff && make test
#git commit -m issue7329050_2001.diff

### demo/repl.html: Remember options in the query string.
dl_check https://codereview.appspot.com/download/issue7777050_1.diff \
  f2adb952e136a9f0 && git apply issue7777050_1.diff && make test
#git commit -m issue7777050_1.diff
#--cut--

[arv, 2013-03-13 21:33:23]

Why isn't "// Options: ..." sufficient?

[usrbincc, 2013-03-13 21:42:34]

On 2013/03/13 21:33:23, arv-chromium wrote:
> Why isn't "// Options: ..." sufficient?

Convenience. You can change things on the fly, and reload the page,
while retaining the options. It's just faster to click and unclick to
see the difference in the generated code, rather than typing and
deleting.