Add basic commands to the grammar.
Add a main Coq module to load all the modules of the plugin.
Add a basic test file.
Add a Makefile that uses the coq_makefile program.