moved Krivine related stuff into ccnl-ext-nfnXXX.c files