added remove/1 to clear queue.
added stopat constraint to limit runtime for a model.
bugfixes (stopat)
fixed reward based conflict resolution.
fixed bug in reward-based conflict resolution: productions are rewarded in correct order now.
added implementations of LISP functions to set parameters of old conflict resolution mechanism (-> added spp handlers for :success and :failure)