#531: Problem with adding/removing configuration.ccl files

Comment (by Roland Haas):

The pull request does two things (in separate commits):

use $(wildcard configuration.ccl) to add a dependency on configuration.ccl when it comes into existence
when it is detected that configurarion.ccl vanished, force make to re-run CST by removing make.thornlist which makes it re-evaluate the current Makefile’s goals

‌