Merge master to dev15.8#5046

Merged

KevinRansom merged 2 commits intodev15.8from

merges/master-to-dev15.8

May 31, 2018

Commits on May 30, 2018

allow `FSharpTargetsPath` to be properly overwritten in a project file
brettfo
committed
Merge pull request #4934 from brettfo/compiler-redirect-redux
brettfo
authored