consistently use DEL instead of rm in Makefiles
Merge pull request #22 from hholzgra/hartmut-DEL

consistently use DEL instead of rm in Makefiles