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.

• While here fix typo in PROFILES option description

Approved by: lme (mentor)
Differential Revision: https://reviews.freebsd.org/D10636