Merge VE branch to dev

DO NOT MERGE
VisualEditor team will merge with dev after the September 25 release is out.