Simplify the 4.02 checking and the -safe-string handling

I think it's better to use the ocamlbuild tag. ~~The proof is: you forgot ```lib/lexUtils.mll``` Qed.~~ :)