Rename bucket to bucket_name in index.html

We were confused that a bucket was a Bucket object, when it was in fact
a string bucket_name. It was sufficiently confusing that we doubted our
own (very simple) code.