coqtops are not created untill really required(up/down button).
this will hopefully reduce startup time on large projects