Removes all trailing whitespaces
Isabelle2016-1: update Simpl
re-import Simp from AFP
re-import Simpl from AFP