Proper DESTDIR support (very useful for making custom deb/rpm packages)

This 2 commits in this pull request fix this issue: https://github.com/fsharp/fsharp/issues/154

Each commit has a detailed commit message with the reasoning (what and why).
Cheers