Build: Makefiles: move coverage targets to devel subdirectory

This reduces GNUmakefile to its core use: building the source before autogen.sh
and configure have been run. It also allows us to get rid of the
ancillary-clean target and its hacky workaround.