Some small documentation updates
Some small documentation updates

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