[m-rev.] for post-commit review: implement PROPOSED searches for .a, .init, .jar and .dll files

[Zoltan Somogyi]

This completes the initial draft of the code for
searches in the PROPOSED install library structure.
For review by anyone. I am particularly seeking feedback
on the updated error messages in handle_options.m.

Zoltan.