faster copying of resources;
modules are now compiled if age of source < age of binary (was <=
before, which didn't work for standard library from JAR where age was
always =, triggering re-compilation)