Fixed mistake in main method: 2 arguments, not 3.
Added hooks for doing refinement (and made NamesCensus allow this).
Use ScopFactory.setScop(String). This is critical since the default
version of BerkeleyScopInstallation changed to 1.75B.