Tidy up CORE-V builtin spec.
Created by: jeremybennett
These are largely cosmetic changes, with one minor change in a
specification.
* specifications/corev-builtin-spec.md: Clean up links in tables of functions in each section, correct __builtin_riscv_cv_bitmanip_extract to take int32_t first argument.