add return values of type InferenceTermination
add maxtime to parameter
add definitions for libdai
change strings for boost libraries
Merge branch 'tamaki-master' into RC-2.3

* tamaki-master:
  change strings for boost libraries
  add definitions for libdai
  add maxtime to parameter
  add return values of type InferenceTermination