Add counter support to Execution
Update K-means to use counters to track convergence
Address some review comments
Adds type annotation on a public trait
Merge pull request #982 from twitter/execution_counters

Adds support for Counters inside the Execution Monad.