Lint.sh: allow to ignore files

Mehdi Bouazizrequested to merge
nomadic-labs/tezos:mehdi@lint_ignore into master

Use a --ignore file_a.ml file_b.ml blacklisting option rather than a whitelist in dune files.

Reviewers: @smondet @pirbo

Edited by Mehdi Bouaziz

Merge request reports