Added cofoja.jar

cofoja.jar - library for supporting Design By Contract using @annotaions
syntax