scyther-proof-0.3.0: .ghci

:set -iinteractive-only-src
:set -isrc
:set -Wall