read_cross2: More general treatment of linemap and cross_info in the control file
developer guide: change an "is" to "are"
input files vignette: a bunch of text spelling out the details of input file format; needs editing