Added the following improvements and features:
- Add a
--reduceoption to apply transitive reduction to the dependency graph. See the README for more details. Contributed by Victor Maslov. - Use the full name for formulae and their dependencies to ensure that the graph is consistent. Contributed by Masud Rahman.