removed obsolete headed in misc
removed obsolete headed in misc

berserkr/HElib,shaih/HElib,berserkr/HElib,shaih/HElib,AlexanderViand/HElib,AlexanderViand/HElib,AlexanderViand/HElib,berserkr/HElib,shaih/HElib