add "-a" option to coqmktop

Conflicts:
	scripts/coqmktop.ml