support for a :warning format with either line number, or line number and column (#731 in idris-dev adds the column)