Hide springboard progress bar when complete

Fixes https://app.asana.com/0/802778796897/17391461309554

Apparently Console.enableProgressBar is written to do nothing if Console
is not in pretty mode.

tools/console.js

@@ -370,7 +370,7 @@ _.extend(Console.prototype, {
     }
 
     if (info) {
-      message = info + ": " + message
+      message = info + ": " + message;
     }
 
     self.error(message);

tools/main.js

@@ -363,8 +363,12 @@ var springboard = function (rel, releaseOverride) {
       });
     });
 
-    Console.setPretty(false);
+    // It's important to call setPretty *after* enableProgressBar,
+    // since `Console.enableProgressBar(false)` is silently ignored
+    // when not in pretty mode. XXX Maybe we should change that
+    // behavior?
     Console.enableProgressBar(false);
+    Console.setPretty(false);
   } catch (err) {
     // We have failed to download the tool that we are supposed to springboard
     // to! That's bad. Let's exit.