Removes all trailing whitespaces
Isabelle2016: infoflow update (partial)
infoflow: minor cleanup
Import release snapshot.