doc(navigation): point to dreal/dreal instead of soonhokong/dreal