Removes all trailing whitespaces
Added new proofcount tool to "tools" and removed old one from "lib". Removed reference to old proof_counting from proof/ROOT and spec/ROOT