manif: A micro Lie theory library for state estimation in robotics applications | Synapse