How to create a workspace for managing multiple cargo projects?

A workspace can be defined to group multiple cargo projects. Following is the main workspace definition for the code for this project's examples.

[workspace]
​
members = [
  "benchmarking",
  "testing",
  "text-processing",
]