Add a clean-unmade target
Add a clean-unmade target

It removes all .vo files which are not going to be remade.  This will
be useful on Jenkins to prune files, when dependency targets change,
so that builds which depend on the current one don't get outdated
versions of files.

JasonGross/coq-scripts,JasonGross/coq-scripts