edits in actions and badges (#53)

.github/workflows/build-test-linux.yml

@@ -1,4 +1,4 @@
-name: Build and test on Linux
+name: Linux CI
 
 on:
   push:

.github/workflows/build-test-macos.yml

@@ -1,4 +1,4 @@
-name: Build and test on macOS
+name: macOS CI
 
 on:
   push:

.github/workflows/build-test-windows.yml

@@ -1,4 +1,4 @@
-name: Build and test on Windows
+name: Windows CI
 
 on:
   push:

README.md

@@ -4,7 +4,7 @@
 </div>
 
 [![NuGet](https://img.shields.io/nuget/v/Microsoft.Coyote.svg)](https://www.nuget.org/packages/Microsoft.Coyote/)
-[![Build status](https://dev.azure.com/foundry99/Coyote/_apis/build/status/Coyote-Windows-CI)](https://dev.azure.com/foundry99/Coyote/_build/latest?definitionId=49)
+![Build and test on Windows](https://github.com/microsoft/coyote/workflows/Build%20and%20test%20on%20Windows/badge.svg)
 [![Join the chat at https://gitter.im/Microsoft/coyote](https://badges.gitter.im/Microsoft/coyote.svg)](https://gitter.im/Microsoft/coyote?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)
 
 Coyote is a set of libraries and tools for building reliable asynchronous software. Coyote ensures

Scripts/create-nuget-packages.ps1

@@ -24,19 +24,19 @@ if ($version_suffix) {
 
 Write-Comment -prefix "..." -text "Creating the 'Microsoft.Coyote' package" -color "white"
 
-$command = "pack $PSScriptRoot\NuGet\Coyote.nuspec $cmd_options"
+$command = "pack $PSScriptRoot/NuGet/Coyote.nuspec $cmd_options"
 $error_msg = "Failed to create the Coyote NuGet package"
 Invoke-ToolCommand -tool $nuget -cmd $command -error_msg $error_msg
 
 Write-Comment -prefix "..." -text "Creating the 'Microsoft.Coyote.Test' package" -color "white"
 
-$command = "pack $PSScriptRoot\NuGet\Coyote.Test.nuspec $cmd_options"
+$command = "pack $PSScriptRoot/NuGet/Coyote.Test.nuspec $cmd_options"
 $error_msg = "Failed to create the Coyote Test NuGet package"
 Invoke-ToolCommand -tool $nuget -cmd $command -error_msg $error_msg
 
 Write-Comment -prefix "..." -text "Creating the 'Microsoft.Coyote.CLI' package" -color "white"
 
-$command = "pack $PSScriptRoot\NuGet\Coyote.CLI.nuspec $cmd_options -Tool"
+$command = "pack $PSScriptRoot/NuGet/Coyote.CLI.nuspec $cmd_options -Tool"
 $error_msg = "Failed to create the Coyote CLI NuGet package"
 Invoke-ToolCommand -tool $nuget -cmd $command -error_msg $error_msg