moving files from funcheck to plugin.

examples/plugin/BST.scala

examples/plugin/ConsSnoc.scala

examples/plugin/LambdaEvaluator.scala

examples/plugin/LeftistHeap.scala

examples/plugin/ListSet.scala

examples/plugin/PropositionalLogic.scala

examples/plugin/SetRedBlackTree.scala

examples/plugin/kawaguchi_pldi2010/InsertSort.scala

examples/plugin/kawaguchi_pldi2010/MapReduce.scala

examples/plugin/kawaguchi_pldi2010/MergeSort.scala

examples/plugin/kawaguchi_pldi2010/MergeSortBug.scala

examples/plugin/kawaguchi_pldi2010/MiniBDD.scala

examples/plugin/kawaguchi_pldi2010/PosSplayHeap.scala

examples/plugin/kawaguchi_pldi2010/QuickSort.scala

examples/plugin/kawaguchi_pldi2010/SplayHeap.scala