Various updates:
- Add --output flag.
- Refactor main.rkt.