added NoisyOr.java and changed APPROXIMATE_ZERO in util.java

Get rid of the extra whitespace here, so that the commit isn't polluted by mere whitespace changes.