Remove deprecated Makefile targets

In !2216 (merged) we added new makefile targets and deprecated the replaced ones. After some adjustment time we should remove Makefile.deprecation.mk and all the targets that call out to @$(MAKE) .deprecation-notice (basically the deprecated targets).