Set up CI with Azure Pipelines

[skip ci]

scripts/nightly-ubuntu.yaml

@@ -1,5 +1,5 @@
 pool:
-  vmImage: "vs2017-win2016"
+  vmImage: "ubuntu-16.04"
 
 steps:
 
@@ -12,9 +12,9 @@ steps:
   inputs:
     secureFile: 'z3.snk'
 
-- script: scripts\mk_win_dist.cmd
+- script: python scripts/mk_unix_dist.py --dotnet-key=$(Agent.TempDirectory)/z3.snk
 
-- script: xcopy dist\*.zip $(Build.ArtifactStagingDirectory)\* /y
+- script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/*
 
 - task: GitHubRelease@0
   inputs:
@@ -24,10 +24,10 @@ steps:
     target: '$(Build.SourceVersion)'
     tagSource: 'manual'
     tag: '$(Build.SourceVersion)'
-    title: 'Nightly Windows'
+    title: 'Nightly Ubuntu'
     releaseNotesSource: 'input'
     releaseNotes: 'nightly build'
-    isDraft: true
+    isDraft: false
     isPreRelease: true