"%load" magic should not be adding extensions to file names

[andrus]

A recently documented (but previously present) %load magic should not attempt to resolve the include path by appending extensions like .java, .jsh and so on. This just feels too random. The users should just specify the full path including the extension:

%load ../lib/my.java

// instead of
// %load ../lib/my