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.