Merge delete relaxation code.

Issue #22 new
repo owner created an issue

Clean up and merge the delete relaxation code that was implemented for our IJCAI 2015 paper. It is quite likely that this issue is too large and should be split in several parts (at least one for the creation of goals and SAS+ like operators, and one for delete relaxation). (issue from 01.12.2015)