remove util/rewrite_facilities.v

I think that this experiment was not successful. These lemmas can be easily replaced by ssreflect's tactics. Also, they encourage to write proofs that are harder to maintain.