Added missing files, and added license file header to fedet.v.