corrected netkat-denot encoding, filter is still incomplete
rename denot files, add in dimitriv new revisions