Rename OBDD.Reduced to ROBDD, lint
Add showDot
Add Setup.hs