Remove DuneLowerBoundMissing linter variant (#433) * Remove DuneLowerBoundMissing linter variant Remove the linter check for `dune` lower bound, and handle this with more general and accurate error reporting on the dune version constraint checks. --------- Co-authored-by: Shon Feder <shon.feder@gmail.com>