*.cmo
*.cmi
*.o
/test
/nemo
nemo_paper.pdf
