add return values of type InferenceTermination
add maxtime to parameter
add definitions for libdai
change strings for boost libraries
Merge pull request #197 from tttamaki/master

some minor fixes for dibdai

problems with python are left to thorsten