include path processing when directory of file being processed was already -I'd

[alleystoughton]

If EasyCrypt is given arguments

-I A -I B ... A/Foo.ec

the directory A of Foo.ec is not given highest priority in the include search path, because it was already included.

Similarly,

-I A -I B -I A Foo.ec

(assuming Foo.ec is moved to the current directory) triggers the same bug.

The above are weird usages, but still this might be worth fixing.