Add `prefix-symbols` feature #4484

Job	Run time
Coverage	1m 6s
Clippy	55s
Audit	8s
Build	41s
Documentation	19s
Formatting	15s
Fuzz (translate)	1m 17s
Check mininum supported Rust version	17s
Fuzz (execute)	1m 15s
Miri	1m 15s
Miri (spec)	1m 17s
Fuzz (differential)	1m 15s
Test (ubuntu-latest)	1m 11s
Test (Address Sanitizer)	1m 15s
Test (windows-latest)	1m 2s
uDeps	56s
Test (macos-latest)	1m 11s
	15m 35s

Provide feedback