fix make mlidoc
Coq_makefile: Allow empty logical names

I'm not sure that coqdep and coqtop understand them correctly anyway ...
Fixup leading ./ path cleaning