Remove the copy of ssreflect.
All needed machinery for installing a local copy of ssr.