[aorai] update documentation following changes

- No more generation of C file without `-print`
- Remove mention of deleted option `-aorai-output-c-file`
- No reference to Jessie anymore. Use WP instead