Merge branch 'dalcinl/options-yaml' into 'master'

Enhancements to YAML options

See merge request petsc/petsc!3629

test: Add test for pushing option prefixes starting with digits