Add more ignores to externals config for lintspaces
Implement user sessions that can be canceled using django-user-sessions.

Various cleanups along the way.