fixes bug 994227 - browserid Sign out link does not work, r=rhelmer
Merge pull request #1997 from peterbe/bug-994227-browserid-sign-out-link-does-not-work

fixes bug 994227 - browserid Sign out link does not work
fixes bug 997236 - Run check.py on ALL files before exiting