Update docs/tutorial/4-authentication-and-permissions.md

HTMLFormatter is in pygments.formatters.html
Merge pull request #614 from guglielmo/patch-1

Update docs/tutorial/4-authentication-and-permissions.md