proj: HEAD and vdatum options

add HEAD recipe for proj and vertical datum option (was also #30936 but forgot the pull request)
It's OK! The submission itself looks good, these are just suggestions for matching Homebrew's house style.