Makefile: separated calls to hoqc, for better progress indication.