Minor updates from the last version:
- Upstream SOCKS proxy can be configured.
- Rest server port can be changed.
- Better result grouping.
- Support for importing batches in headless environments.
- Batch name prefixes for batches of one project can be set using 'set proj [name]'.