A Modular Framework for Generation and Maintenance of Adjoint Solvers Assisted by Algorithmic Differentiation - with Applications to an Incompressible Navier-Stokes Solver