The 'debug' rule is currently cleaning out the non-debug-model directory rather than the debug-model directory. This commit fixes that, and changes both the debug and non-debug rules to use the variables defined for referring to these two model directories. Co-authored-by: Tynan McAuley <tynan@galois.com>