`keys` primitive

[mjgpy3]

This is very useful for first-class metaprogramming. Actually, other things (e.g. #107) can be implemented in terms of this rather than introducing new primitives.