Rename option PULSE to PULSEAUDIO

Almost all other ports use PULSEAUDIO to enable PulseAudio support. This
makes it easier to enable support globally via OPTIONS_SET.

PR: 219119
Approved by: lme (mentor), Christian Kraemer <uddka@student.kit.edu> (maintainer)
Differential Revision: https://reviews.freebsd.org/D10646