Add a libdagtally build example, and other corrections