Little additional improvement of documentation of include/dai/util.h
Little additional improvement of documentation of include/dai/util.h

tttamaki/libdai,flurischt/libDAI,eriqande/libDAI-mods,slnovak/libDAI,fivejjs/libDAI,yesimon/libDAI,midnighteuler/libdai,midnighteuler/libdai,midnighteuler/libdai,slnovak/libDAI,slnovak/libDAI,fivejjs/libDAI,dbtsai/libDAI,yesimon/libDAI,flurischt/libDAI,eriqande/libDAI-mods,slnovak/libDAI,fivejjs/libDAI,yesimon/libDAI,AndrewNguyenF3/libdai,yesimon/libDAI,midnighteuler/libdai,yesimon/libDAI,fivejjs/libDAI,yesimon/libDAI,eriqande/libDAI-mods,flurischt/libDAI,AndrewNguyenF3/libdai,slnovak/libDAI,slnovak/libDAI,AndrewNguyenF3/libdai,eriqande/libDAI-mods,tttamaki/libdai,fivejjs/libDAI,tttamaki/libdai,flurischt/libDAI,tttamaki/libdai,AndrewNguyenF3/libdai,slnovak/libDAI,yesimon/libDAI,midnighteuler/libdai,tttamaki/libdai,AndrewNguyenF3/libdai,midnighteuler/libdai,dbtsai/libDAI,midnighteuler/libdai,dbtsai/libDAI,eriqande/libDAI-mods,dbtsai/libDAI,dbtsai/libDAI,flurischt/libDAI,dbtsai/libDAI