proj: HEAD and vdatum options

add HEAD recipe for proj and vertical datum option (was also #30936 but forgot the pull request)
Sorry, I'm not very nimble with ruby.