Removes all trailing whitespaces
more Isabelle2015 update; AInvs up to (excluding) Syscall_AI also includes some global replacements
Added new proofcount tool to "tools" and removed old one from "lib". Removed reference to old proof_counting from proof/ROOT and spec/ROOT