Documentation and formatting rearranged in improved_fast_endgame_solver module.