Mark doc dirty when folding/unfolding (this does not cause any performance hit when working on big files and ensure proper position for folding indicators/scope)