add F.jar & examples of programming in System F

F.jar is an implementation of System F for this class.