Update the server howto doc to describe the "compile/*" Kerberos user principal.
Commit d327d6b8 fixes this pull-request
Pull-Request has been merged by tkopecek
Update the server howto doc to describe the "compile/*" Kerberos user principal.