Support `feature list`

Claude Code often tries to gather a list of feature specification directories via `specware feature list` command, despite never being given this as a possibility. It then falls back to listing the .spec/ directory.

Its not a bad idea to support this command since Claude seems to think it should exist anyway. The more we can take out of the hands of the LLM, the better.