karma: Implement nicks only and disabling of stepping.
karma: Implement nicks only and disabling of stepping.

Former-commit-id: 4c6c31a052bcd3a3e43eac57c8067c0531868b53 [formerly 85aa30309a7e141665a810d2217726dac02fb321]
Former-commit-id: fc03386146029aecaf7ef50dbb069371a458fb87
torhve/ivar2,torhve/ivar2,torhve/ivar2,haste/ivar2