Migrate to the official compiler binaries

[Friedrich von Never]

After #17, the SDK has migrated to a forked compiler binary. We should migrate back after this PR is merged.

Eliminate all TODO[#18] in the code while resolving this task.