!fixup Cosmetic changes in a few files.
Introduced the "everywhere" and "at" constraints into the specification  syntax.
Changed the coinst submodule source to our (patched) fork.
!fixup Deleted two useless files.