tweaks to workspace.dart
Merge pull request #44 from dart-lang/workspace-tweaks

tweaks to workspace.dart