updated TAGS
move message about killing coq compilation processes
fix parallel Coq compilation: report error for circular dependencies