Modified compiler interface to support more compiler options and remove needless state. Converted some related methods to use List<File> instead of File[]. Added getClassPath() to GlobalModel to get a globally-consistent classpath (renamed the old method "getInteractionsClassPath"). Cleaned up CompilerModel code. Includes updated platform.jar, which includes classes previously contained in compilers.jar.