Add a note in the Ninja docs about --lint