Makefile: install-{vim,share} doesn't depend on the binary
error_report: in presence of Cmi_format.Error, don't report any other type error
Also: "Cmi_format.Error (_)" are now properly reported on 4.00 and 4.01