counters: cleanup counters implementation.

This should be more readable and easier to debug. Additionally, we try
to cleanup our shared memory segment on shutdown with atexit(). If the
process exits uncleanly, we have the benefit of being able to extract
the counter information after the fact.