nnf para cf2cs. quizas algunas modificaciones
Hay que hacer:
make libnnf.a

Modificado para gcc 4.x
