Merge branch 'newctx' of https://github.com/resource-reasoning/jscert_dev into newctx

navig-driver.js

@@ -90,6 +90,7 @@ var source_files = [
 source_files.reduce((select, file_content) => {
   var option = document.createElement('option');
   option.textContent = file_content;
+  option.value = file_content;
   select.append(option);
   return select;
 }, $('#select_source_code'));