updated prob solver with better tests it runs with prob from May 14 2014 and soccer is failing on substitution +(GK/FP)
fixed problem with result in function value which was not cloed when the value was cloned
updated prob implementation to exclude all state+state-constraints if used with a function from a post-condition
clean up
removed binary files which are auto generated. Should never have been comitted
added more debug info and changed path for prob to point to the bundled location
Fix 2.1.0 release notes
Merge remote-tracking branch 'origin/development' into ncb/development