Lens-like operations

[mjgpy3]

• An operation for getting a deeply nested key - deep-take
• An operations for getting a deeply nested key, with a default if it cannot be reached
• An operation for setting the value at a deeply nested key
• An operation for mapping all keys in a map to other keys