dynamically loaded extensions work :)

project/build/funcheck.scala

src/funcheck/AnalysisComponent.scala

src/funcheck/FunCheckPlugin.scala

src/multisets/Main.scala

src/purescala/Analysis.scala

src/purescala/Extensions.scala

src/purescala/Settings.scala