Reorganize into a Coq folder.
Add rebar.
Ignore ebin.
Add app source file.
Convert README.
Add Makefile.