Allow monitor options in `proc_lib:start_monitor/5`#9804

Maria-12648430 wants to merge 2 commits intoerlang:mastererlang/otp:masterfrom

Maria-12648430:allow_monitor_opts_in_proc_lib_start_monitorMaria-12648430/otp:allow_monitor_opts_in_proc_lib_start_monitorCopy head branch name to clipboard