deleted old reasoner file
deleted old argument-edit file
deleted old graphviz file
deleted old lkif files
deleted old rule file
removed debug code
executes all tests even if they fail
fix bug in the ASPIC implement with help from Tom