An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine