Display line number in messages

Warning or error message should include the line number. See also emails from D. Valtier on November 18 and 25, 2016.