first pass for hooking up the reification plugin

- we can reify [ltrue Prop]
- still need to hook up more features:
  - function table, evars, etc.
ignore CoqoonMakefile.vars
hide some of the ugliness of the Makefile

- note there are still hard-coded paths in _tags.