If "F" doesn't exist, :addproof checks "F.idr" as well

You can run Idris on F.idr with `idris F`, but then `:addproof` can't
find the file.
Merge pull request #283 from andy-morris/addproof

If "F" doesn't exist, :addproof checks "F.idr" as well