Download SDK on demand

Fixes #45 
Fixes #46
Should we change this before merging; would be easy to forget to update. The version is already in quite a few places; there's an UpdateVersions.fsx file that tries to keep them in sync (using the AssemblyInfo as the master).