Add 4.0 to svn exceptions (it's not used anymore for recent builds, but I am testing diffs with older versions).
Update to latest 4.2 branch (preparing for 4.3 and diffs).