Update -fmsc-version docs for r190908, which set the default to 1700