[CHANGELOG] Add entry for double backjumping and forward checking
[DependencyGraph] Add support for topologically sorting vertices via the TSort module