added most strategies. missing only sequence, one and fixpoint.
added fixpoint rewriter.
Added licence information and checkstyle.