Do not generate COPYRIGHT.txt in normal build

Only when making the "copyright" target.  Otherwise Makefile is broken
for developers without serval-tools and Python.