Add DB upgrade scripts for diagnostics and compilation_finished

Author: tamasvajk

java/ql/lib/upgrades/37f33da42d2cffa6ad8b26feaa6beed1c5ce3149/compilation_finished.ql

@@ -0,0 +1,7 @@
+class Compilation extends @compilation {
+  string toString() { none() }
+}
+
+from Compilation c, float cpu_seconds, float elapsed_seconds
+where compilations(c, cpu_seconds, elapsed_seconds)
+select c, cpu_seconds, elapsed_seconds, /* success */ 0

java/ql/lib/upgrades/37f33da42d2cffa6ad8b26feaa6beed1c5ce3149/diagnostics.ql

@@ -0,0 +1,13 @@
+class Diagnostic extends @diagnostic {
+  string toString() { none() }
+}
+
+class Location extends @location_default {
+  string toString() { none() }
+}
+
+from
+  Diagnostic d, int severity, string error_tag, string error_message, string full_error_message,
+  Location l
+where diagnostics(d, severity, error_tag, error_message, full_error_message, l)
+select d, /* generated_by */ "", severity, error_tag, error_message, full_error_message, l

java/ql/lib/upgrades/37f33da42d2cffa6ad8b26feaa6beed1c5ce3149/upgrade.properties

@@ -1,4 +1,6 @@
 description: Add Kotlin support
 compatibility: backwards
 compilations.rel: run compilations.qlo
+diagnostics.rel: run diagnostics.qlo
+compilation_finished.rel: run compilation_finished.qlo