Clarify the libtesla ABI.

Don't use unclear integer types like 'int'; prefer explicit types from stdint.h:
 * intptr_t for keys (which may be pointers)
 * [u]int32_t for everything else