Deselect previously selected file before reading

Without this, if you select a file, make modifications and select the
same file again, it does not read the latest changes as the file inputs
change event does not fire. To work around, you have to select a
different file, or cancel the file dialog to clear the field value
before trying your modified file again.

Author: mcauser

webrepl.html

@@ -335,6 +335,10 @@
     reader.readAsArrayBuffer(f);
 }
 
+document.getElementById('put-file-select').addEventListener('click', function(){
+    this.value = null;
+}, false);
+
 document.getElementById('put-file-select').addEventListener('change', handle_put_file_select, false);
 document.getElementById('put-file-button').disabled = true;