Tidy up libtesla.h:

* this header file is an external interface for instrumentation (and instrumenters); internal declarations can move to tesla_internal.h
* use enums where appropriate
* finally rename "scope" to "context"