Optimisation of advance_mark_n and decrese_mark_n by jumping in intervals corresponding to property lengths. Optimisation of find_mark_near by using the new {advance,decrese}_mark_n. /mailund