Updates to “base” CV32E20 User Manual

This task is complete when:

• all IBEX-specific content is either removed or deprecated.
• all CSRs have been updated.
• the RVFI implementation is fully documented.
• Mike stops complaining about the state of the User Manual! 😆