User-request: workflow-level versioning

A user asked us to consider versioning at the workflow level. The per-workflow versions would be optionally specified by the developer. Something like: 

```
@DBOS.workflow(version="1.0.0")
def foo():...

@DBOS.workflow(version="1.0.1")
def bar():...
```