Merge branch 'integrated-testing' into refactor-verification

src/main/scala/leon/plugin/ExtractorPhase.scala

src/main/scala/leon/verification/Analysis.scala

src/main/scala/leon/verification/AnalysisPhase.scala

...ression/verification/purescala/valid/AmortizedQueue.scala

...ession/verification/purescala/valid/AssociativeList.scala

...gression/verification/purescala/valid/InsertionSort.scala

...ression/verification/purescala/valid/ListOperations.scala

...ion/verification/purescala/valid/PropositionalLogic.scala

.../resources/regression/verification/purescala/valid/README

...egression/verification/purescala/valid/RedBlackTree.scala

...ssion/verification/purescala/valid/SearchLinkedList.scala

...s/regression/verification/purescala/valid/SumAndMax.scala

src/test/scala/leon/test/Test.scala

src/test/scala/leon/test/ValidPrograms.scala