switching to SSH because scalac is too slow on this machine

ParseMe.scala

src/funcheck/CodeExtraction.scala

src/funcheck/Extractors.scala

src/purescala/Definitions.scala

src/purescala/PrettyPrinter.scala