fixed the firefox terminal bug, updated our Publish.dart to reflect the newest version of dart2js