new branch for ghc7.6.1
misc edits to 761
spit out warnings about exported values that come back false from fixpoint
add --no-check-unknown flag to suppress "specification for unknown variable" errors
Merge pull request #51 from gridaphobe/optional-unused-spec-check

add --no-check-unknown flag to suppress "specification for unknown variable" errors
remove false test
botKVars
adding Bot.hquals
adding failing tests
adding log
add nofalse cmdarg
make nofalse optional
what is nofalse
make tests with nofalse
update readme
Merge pull request #49 from ucsd-progsys/botKvars

Bot kvars
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 branch 'master' of github.com:ucsd-progsys/liquidhaskell into ghc761

move tests/pos/Test0.hs to tests/pos/Test761.hs to fix case-sensitivity conflict

Conflicts:
	Language/Haskell/Liquid/GhcInterface.hs
	Language/Haskell/Liquid/GhcMisc.hs
asd