Adding new Coq files and the skeleton from NaBL.
Fixing the Skeleton.
Updating the build files.