some minor fixes

change strings for boost libraries
add definitions for libdai
add maxtime to parameter
add return values of type InferenceTermination