adds support for building the model of a program for which the classpath is incomplete

It could be great to report problems as warning or debug if we are in "noclasspath" mode.