instrument server proposals

BUG=
R=lukechurch@google.com, scheglov@google.com

Review URL: https://codereview.chromium.org//756823003

git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge@42105 260f80e4-7a28-3924-810f-c04153c831b5
tools: removed unused members, tiny cleanup

R=ricow@google.com

Review URL: https://codereview.chromium.org//770633003

git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge@42106 260f80e4-7a28-3924-810f-c04153c831b5