Add details about file name / namespace consistency check

In particular, Leiningen does part of these checks, but Eastwood
catches mistakes that Leiningen does not.