Debugging of the add-in was accidentally broken as a result of several people messing about in the same files.
Fix it by reordering search paths, so that .exes are found first.
Merge pull request #506 from rojepp/fix_debugging

Debugging of the add-in was accidentally broken as a result of several p...
Merge pull request #507 from fsharp/master

updates from master