Fix a bug in the handling of 'or' BIF by Dialyzer

[Stavros Aronis]

Dialyzer had a minor issue when the arguments of the built-in function 'or'
had the fixed value 'false'. This patch deals with it.

  git fetch git://github.com/aronisstav/otp.git dialyzer-or-fix