Added the option to disallow...

Added the option switch to disallow user changes to the YubiKey ID
settings.
Added method disallow_change()...

Added method disallow_change().
Add Peter Kahl to the contributors.
Fix php's end of file, style and minor refactor.