Allow console.log in debug.js

(imported from commit fe965c9687f0080c639ab3526b245ca3304e5672)

zephyr/static/js/debug.js

@@ -9,6 +9,9 @@
     The file may still be accessible under other circumstances, so do
     not put sensitive information here. */
 
+// It's fine to use console.log etc. in this file.
+/*jslint devel: true */
+
 /*
       print_elapsed_time("foo", foo)