A new algorithmic differentiation tool (not only) for FEniCS