added sections on navigating with #line directives, and within .infer files (IGNORE)
added sections on navigating with #line directives, and within .infer
files (IGNORE)

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c