More convenient dria serve

[erhant]

When we type dria list, we see results like:

<contract-1> (last-modified)
<contract-2> (last-modified)
...

and we need to provide the entire <contract-id> to the serve options and such. We could perhaps use a more convenient option such as:

[1] <contract-1> (last-modified)
[2] <contract-2> (last-modified)
...

and then providing dria serve <contract-1> should be the same as dria serve 1.

---

Alternatively, we could have the serve argument coerce to the nearest similar knowledge, e.g. if we have test-knowledge and we type dria serve te that te should be inferred as test-knowledge