Removing the coq files from the master branch.
Removing the aterm file from the master branch.