put Coq files inside a coq directory
added paper