Makefile: don't build the doc by default (in case valadoc is absent).