coqmktop without Unix (simpler all_subdirs)
coqc: execvp is now available even on win32
configure.ml: take advantage of Arg.align :-)