refactoring core for Dart: `server.py --dart` forces dart mode, dicts in with-javascript mode have labels turned into strings, added DART to ministdlib.py