ui: upgrade to blueprintjs6

packages/ui-default/theme/dark.styl

@@ -212,7 +212,7 @@ $hover-background-color = #424242
   .menu__link.highlight
     background: rgb(40, 11, 20)
 
-  .bp5-tag.bp5-minimal:not([class*="bp5-intent-"])
+  .bp6-tag.bp6-minimal:not([class*="bp6-intent-"])
     background-color: rgba(87, 100, 117, .2)
     color: #d9dfe7
 
@@ -391,16 +391,16 @@ $hover-background-color = #424242
       background-color: $main-background-color !important
       border-color: #3d3d3d !important
 
-  .bp5-tab
+  .bp6-tab
     color: #aaa
 
     &[aria-disabled=true]
       color: #555
   
-  .bp5-card,.bp5-dialog,.bp5-dialog-header,.bp5-dialog-footer
+  .bp6-card,.bp6-dialog,.bp6-dialog-header,.bp6-dialog-footer
     background-color: #1f1f1f !important
   
-  .bp5-input-group input
+  .bp6-input-group input
     border-color: #3d3d3d!important
 
   &.hasjs .collapsed #status:not([data-status="7"]) .compiler-text-mask