spit out warnings about exported values that come back false from fixpoint
ghc does not make it easy to ask whether an Id was defined at the
top-level of the current module, so just print out all falses
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell into show-bots

Conflicts:
	Language/Haskell/Liquid/Annotate.hs
Merge pull request #52 from ucsd-progsys/show-bots

Show bots